1. A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
  2.  84
    Algebraic logic for classical conjunction and disjunction.J. M. Font & V. Verdú - 1993 - Studia Logica 52 (1):181.
    In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   26 citations  
  3.  35
    Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic.J. M. Font, F. Guzmán & V. Verdú - 1991 - Bulletin of the Section of Logic 20 (3/4):124-128.
    Direct download  
    Export citation  
    Bookmark   11 citations  
  4.  16
    Logics of varieties, logics of semilattices and conjunction.J. M. Font & T. Moraschini - 2014 - Logic Journal of the IGPL 22 (6):818-843.
  5.  17
    On weakening the Deduction Theorem and strengthening of Modus Ponens.F. Bou, J. M. Font & J. L. G. Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303.
    This paper studies, with techniques ofAlgebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sentential logics have been isolated. These logics are weaker than the positive implicative logic. We have determined their algebraic models (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   2 citations  
  6. V. Verd u. An abstract approach to modal logics.J. M. Font - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.