Josep Maria Font

Publication Activity (10 Years)

Years Active: 1986-2017
Publications (10 Years): 5

Top Topics

Proof Procedures

Classical Logic

Algebraic Operators

Top Venues

J. Log. Comput.

Publications

Hugo Albuquerque, Josep Maria Font, Ramon Jansana
Note of the Full Generalized Models of the Extensions of a Logic. Reports Math. Log. 52 (2017)
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
The Strong Version of a Sentential Logic. Stud Logica 105 (4) (2017)
Josep Maria Font
Ordering protoalgebraic logics. J. Log. Comput. 26 (5) (2016)
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
Compatibility operators in Abstract Algebraic Logic. J. Symb. Log. 81 (2) (2016)
Josep Maria Font, Tommaso Moraschini
M-Sets and the Representation Problem. Stud Logica 103 (1) (2015)
Josep Maria Font
. Math. Log. Q. 60 (1-2) (2014)
Josep Maria Font, Tommaso Moraschini
Logics of varieties, logics of semilattices and conjunction. Log. J. IGPL 22 (6) (2014)
Josep Maria Font, Ramon Jansana
Introduction. Stud Logica 101 (4) (2013)
Josep Maria Font
The simplest protoalgebraic logic. Math. Log. Q. 59 (6) (2013)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 22 (3) (2012)
Josep Maria Font, Ramon Jansana
Leibniz-linked Pairs of Deductive Systems. Stud Logica 99 (1-3) (2011)
Josep Maria Font
On semilattice-based logics with an algebraizable assertional companion. Reports Math. Log. 46 (2011)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Update to "A Survey of Abstract Algebraic Logic". Stud Logica 91 (1) (2009)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19 (6) (2009)
Josep Maria Font
Taking Degrees of Truth Seriously. Stud Logica 91 (3) (2009)
Josep Maria Font, Andrzej Wronski
Preface: In memory of Wim Blok. Reports Math. Log. 41 (2006)
Josep Maria Font, Ramon Jansana, Don Pigozzi
On the Closure Properties of the Class of Full G-models of a Deductive System. Stud Logica 83 (1-3) (2006)
Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. Arch. Math. Log. 45 (7) (2006)
Josep Maria Font
Beyond Rasiowa's Algebraic Approach to Non-classical Logics. Stud Logica 82 (2) (2006)
Félix Bou, Josep Maria Font, José Luis García-Lapresta
On weakening the Deduction Theorem and strengthening Modus Ponens. Math. Log. Q. 50 (3) (2004)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Foreword. Stud Logica 74 (1-2) (2003)
Josep Maria Font, Ramon Jansana, Don Pigozzi
A Survey of Abstract Algebraic Logic. Stud Logica 74 (1-2) (2003)
Josep Maria Font, Petr Hájek
On Lukasiewicz's Four-Valued Modal Logic. Stud Logica 70 (2) (2002)
Josep Maria Font, Ramon Jansana
Leibniz filters and the strong version of a protoalgebraic logic. Arch. Math. Log. 40 (6) (2001)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Fully Adequate Gentzen Systems and the Deduction Theorem. Reports Math. Log. 35 (2001)
Josep Maria Font, Miquel Rius
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. J. Symb. Log. 65 (2) (2000)
Josep Maria Font, Ramon Jansana, Don Pigozzi
Foreword. Stud Logica 65 (1) (2000)
Josep Maria Font
On Special Implicative Filters. Math. Log. Q. 45 (1999)
Josep Maria Font
Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'. Log. J. IGPL 7 (5) (1999)
Josep Maria Font
Belnap's Four-Valued Logic and De Morgan Lattices. Log. J. IGPL 5 (3) (1997)
Josep Maria Font
On the Contributions of Helena Rasiowa to Mathematical Logic. ISMVL (1996)
Josep Maria Font, Gonzalo Rodríguez
Algebraic Study of Two Deductive Systems of Relevance Logic. Notre Dame J. Formal Log. 35 (3) (1994)
Josep Maria Font, Ramon Jansana
On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics. Log. J. IGPL 2 (1) (1994)
Josep Maria Font, Ventura Verdú
The lattice of distributive closure operators over an algebra. Stud Logica 52 (1) (1993)
Josep Maria Font, Massoud Moussavi
Note on a six-valued extension of three-valued logic. J. Appl. Non Class. Logics 3 (2) (1993)
Josep Maria Font, Ventura Verdú
Algebraic logic for classical conjunction and disjunction. Stud Logica 50 (3-4) (1991)
Josep Maria Font, Gonzalo Rodríguez
Note on algebraic models for relevance logic. Math. Log. Q. 36 (6) (1990)
Josep Maria Font, Miquel Rius
A Four-Valued Modal Logic Arising from Monteiro's Last Algebras. ISMVL (1990)
Josep Maria Font, Ventura Verdú
A First Approach to Abstract Modal Logics. J. Symb. Log. 54 (3) (1989)
Josep Maria Font
Correction to "Some Remarks on Heyting Matrices". Math. Log. Q. 34 (3) (1988)
Josep Maria Font
Some Remarks on Heyting Matrices. Math. Log. Q. 32 (31-34) (1986)
Josep Maria Font
Modality and possibility in some intuitionistic modal logics. Notre Dame J. Formal Log. 27 (4) (1986)