Josep Maria Font

Stud Logica, 2017

Note of the Full Generalized Models of the Extensions of a Logic.

[BibT_eX]

[DOI]

Hugo Albuquerque

Reports Math. Log., 2017

A General Algebraic Semantics for Sentential Logics

[BibT_eX]

[DOI]

Lecture Notes in Logic 7, Cambridge University Press, ISBN: 9781316716915, 2017

2016

Ordering protoalgebraic logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Compatibility operators in Abstract Algebraic Logic.

[BibT_eX]

[DOI]

Hugo Albuquerque

J. Symb. Log., 2016

2015

M-Sets and the Representation Problem.

[BibT_eX]

[DOI]

Tommaso Moraschini

Stud Logica, 2015

2014

Erratum to <i>J. M. Font, The simplest protoalgebraic logic</i>.

[BibT_eX]

[DOI]

Math. Log. Q., 2014

Logics of varieties, logics of semilattices and conjunction.

[BibT_eX]

[DOI]

Tommaso Moraschini

Log. J. IGPL, 2014

2013

Introduction.

[BibT_eX]

[DOI]

Stud Logica, 2013

The simplest protoalgebraic logic.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

2012

Logics preserving degrees of truth from varieties of residuated lattices.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

2011

Leibniz-linked Pairs of Deductive Systems.

[BibT_eX]

[DOI]

Stud Logica, 2011

On semilattice-based logics with an algebraizable assertional companion.

[BibT_eX]

[DOI]

Reports Math. Log., 2011

2009

Update to "A Survey of Abstract Algebraic Logic".

[BibT_eX]

[DOI]

Stud Logica, 2009

Taking Degrees of Truth Seriously.

[BibT_eX]

[DOI]

Stud Logica, 2009

2006

On the Closure Properties of the Class of Full G-models of a Deductive System.

[BibT_eX]

[DOI]

Stud Logica, 2006

Beyond Rasiowa's Algebraic Approach to Non-classical Logics.

[BibT_eX]

[DOI]

Stud Logica, 2006

Preface: In memory of Wim Blok.

[BibT_eX]

[DOI]

Andrzej Wronski

Reports Math. Log., 2006

On the infinite-valued Lukasiewicz logic that preserves degrees of truth.

[BibT_eX]

[DOI]

Arch. Math. Log., 2006

2004

On weakening the Deduction Theorem and strengthening Modus Ponens.

[BibT_eX]

[DOI]

Félix Bou

José Luis García-Lapresta

Math. Log. Q., 2004

2003

A Survey of Abstract Algebraic Logic.

[BibT_eX]

[DOI]

Stud Logica, 2003

Foreword.

[BibT_eX]

[DOI]

Stud Logica, 2003

2002

On Lukasiewicz's Four-Valued Modal Logic.

[BibT_eX]

[DOI]

Petr Hájek

Stud Logica, 2002

2001

Fully Adequate Gentzen Systems and the Deduction Theorem.

[BibT_eX]

[DOI]

Reports Math. Log., 2001

Leibniz filters and the strong version of a protoalgebraic logic.

[BibT_eX]

[DOI]

Arch. Math. Log., 2001

2000

An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.

[BibT_eX]

[DOI]

Miquel Rius

J. Symb. Log., 2000

1999

On Special Implicative Filters.

[BibT_eX]

[DOI]

Math. Log. Q., 1999

Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'.

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

1997

Belnap's Four-Valued Logic and De Morgan Lattices.

[BibT_eX]

[DOI]

Log. J. IGPL, 1997

1996

On the Contributions of Helena Rasiowa to Mathematical Logic.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

1994

Algebraic Study of Two Deductive Systems of Relevance Logic.

[BibT_eX]

[DOI]

Gonzalo Rodríguez

Notre Dame J. Formal Log., 1994

On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 1994

1993

The lattice of distributive closure operators over an algebra.

[BibT_eX]

[DOI]

Ventura Verdú

Stud Logica, 1993

Note on a six-valued extension of three-valued logic.

[BibT_eX]

[DOI]

Massoud Moussavi

J. Appl. Non Class. Logics, 1993

1991

Algebraic logic for classical conjunction and disjunction.

[BibT_eX]

[DOI]

Ventura Verdú

Stud Logica, 1991

1990

Note on algebraic models for relevance logic.

[BibT_eX]

[DOI]

Gonzalo Rodríguez

Math. Log. Q., 1990

A Four-Valued Modal Logic Arising from Monteiro's Last Algebras.

[BibT_eX]

[DOI]

Miquel Rius

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

1989

A First Approach to Abstract Modal Logics.

[BibT_eX]

[DOI]

Ventura Verdú

J. Symb. Log., 1989

1988

Correction to "Some Remarks on Heyting Matrices".

[BibT_eX]

[DOI]

Math. Log. Q., 1988

1986

Modality and possibility in some intuitionistic modal logics.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1986

Some Remarks on Heyting Matrices.

[BibT_eX]

[DOI]