Buscar
Mostrando ítems 1-10 de 36431
Quantificadores no contexto lógico: 'muitos' e 'poucos'
(2011)
This paper presents a discussion about quantifiers, particularly quantifiers of natural languages, and its formalizations into logical contexts. Central attention is at the cases of ‘many’ and ‘few’ well as its formalization ...
Contraction, Infinitary Quantifiers, and Omega Paradoxes
(Springer, 2018-08)
Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to ...
Elementary recursive quantifier elimination based on Thom encoding and sign determination
(Elsevier Science, 2017-08)
We describe a new quantifier elimination algorithm for real closed fields based onThom encoding and sign determination. The complexity of this algorithm is elemen-tary recursive and its proof of correctness is completely ...
Elimination of quantifiers of a theory of real closed rings.
(2022-10-09)
Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex in von Neumann regular real closed rings that are divisible-proyectable and sc-regular. In this paper, a local divisibility ...
About И-quantifiers
(2003)
Understanding and using numbers and prices.
(2015-10-16)
Understanding and using numbers and prices in written an oral conversations. This is an A1 level competence, according to the Common European Framework of Reference for languages (http://www.coe.int/t/dg4/linguistic/sour ...