Exploració per autor "Ortiz Gómez, Carlos"

Ara es mostren els items 1-2 de 2

    • Expressive power and complexity of a logic with quantifiers that count proportions of sets 

      Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos (2006)
      Article
      Accés obert
      We 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 ...

    • Syntactic approximations to computational complexity classes 

      Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos (2007)
      Text en actes de congrés
      Accés obert
      We present a formal syntax of approximate formulas suited for the logic with counting quantifiers SOLP. This logic was studied by us in [1] where, among other properties, we showed: (i) In the presence of a built–in ...