profile picture

Jean Paul Varela

 More details
  •  52
    Xlth Latin American Symposium on Mathematical Logic Merida, Venezuela, 6-1 0 July, 1998
    with C. A. Di Prisco, C. E. Uzcategui, J. Bagaria, Sy D. Friedman, R. Bianconi, E. A. Cichon, E. Tahhan-Bittar, M. E. Coniglio, and F. Miraglia
    Annals of Pure and Applied Logic 108 (1-3): 79-101. 2001.
    Latin American Philosophy of Science, Logic, and Mathematics
  •  1
    Boolean Algebras With A Distinguished Automorphism
    with M. Abad and M. Zander
    Reports on Mathematical Logic 101-112. 2003.
    In this paper we investigate a subvariety $\BA$ of tense algebras, which we call Boolean algebras with a distinguished automorphism. This variety provides a unifying framework for the algebras studied by Monteiro in [4] and by Moisil in [5,6]. Among others we prove that $\BA$ is generated by its finite members and we characterize the locally finite subvarieties of $\BA$
    Algebra
  •  209
    Varieties of Three-Values Heyting Algebras with a Quantifier
    with Manuel Abad and L. A. Rueda
    Studia Logica 65 (2): 181-198. 2000.
    This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct the la…Read more
    Logics, MiscQuantifiersMathematical LogicIntuitionistic Logic
  •  47
    Monadic MV-algebras are Equivalent to Monadic?-groups with Strong Unit
    with C. Cimadamore
    Studia Logica 98 (1-2): 175-201. 2011.
    In this paper we extend Mundici's functor? to the category of monadic MV- algebras. More precisely, we define monadic?- groups and we establish a natural equivalence between the category of monadic MV- algebras and the category of monadic?- groups with strong unit. Some applications are given thereof.
    Logic and Philosophy of LogicLogicsLogic and Philosophy of Logic, Miscellaneous