Browsing by Author "Ortiz Gómez, Carlos"
Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos (2006)
Open AccessWe present a second-order logic of proportional quantifiers, SOLP, which is essentially a first-order language extended with quantifiers that act upon second-order variables of a given arity r and count the fraction of ...
Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos (2007)
Open AccessWe present a formal syntax of approximate formulas suited for the logic with counting quantifiers SOLP. This logic was studied by us in  where, among other properties, we showed: (i) In the presence of a built–in ...