| Publication | Date of Publication | Type |
|---|
Abstract algebraic logic. An introductory chapter
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Logics of varieties, logics of semilattices and conjunction
Logic Journal of the IGPL | 2019-01-08 | Paper |
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Note of the full generalized models of the extensions of a logic
Reports on Mathematical Logic | 2018-03-29 | Paper |
The strong version of a sentential logic
Studia Logica | 2017-11-16 | Paper |
Ordering protoalgebraic logics
Journal Of Logic And Computation | 2017-01-31 | Paper |
Compatibility operators in abstract algebraic logic
Journal of Symbolic Logic | 2016-08-19 | Paper |
| Abstract algebraic logic. An introductory textbook | 2016-08-04 | Paper |
Consequence and degrees of truth in many-valued logic
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
\(M\)-sets and the representation problem
Studia Logica | 2015-06-18 | Paper |
A note on congruences of semilattices with sectionally finite height.
Algebra Universalis | 2014-11-14 | Paper |
| scientific article; zbMATH DE number 6290318 (Why is no real title available?) | 2014-04-29 | Paper |
| On substructural logics preserving degrees of truth | 2014-04-23 | Paper |
Erratum to J. M. Font, The simplest protoalgebraic logic
Mathematical Logic Quarterly | 2014-03-21 | Paper |
The simplest protoalgebraic logic
Mathematical Logic Quarterly | 2014-02-05 | Paper |
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation | 2012-06-20 | Paper |
On semilattice-based logics with an algebraizable assertional companion
Reports on Mathematical Logic | 2012-05-30 | Paper |
Leibniz-linked pairs of deductive systems
Studia Logica | 2011-11-23 | Paper |
Logics preserving degrees of truth from varieties of residuated lattices
Journal Of Logic And Computation | 2010-01-14 | Paper |
Taking degrees of truth seriously
Studia Logica | 2009-05-08 | Paper |
Update to ``A survey of abstract algebraic logic
Studia Logica | 2009-03-17 | Paper |
On the infinite-valued Łukasiewicz logic that preserves degrees of truth
Archive for Mathematical Logic | 2006-11-06 | Paper |
On the closure properties of the class of full G-models of a deductive system
Studia Logica | 2006-10-27 | Paper |
Beyond Rasiowa's algebraic approach to non-classical logics
Studia Logica | 2006-08-16 | Paper |
On weakening the Deduction Theorem and strengthening Modus Ponens
Mathematical Logic Quarterly | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2070193 (Why is no real title available?) | 2004-06-08 | Paper |
A survey of abstract algebraic logic
Studia Logica | 2004-02-15 | Paper |
| scientific article; zbMATH DE number 2042610 (Why is no real title available?) | 2004-02-15 | Paper |
Fully adequate Gentzen systems and the deduction theorem
Reports on Mathematical Logic | 2003-02-06 | Paper |
On Łukasiewicz's four-valued modal logic
Studia Logica | 2002-07-08 | Paper |
Leibniz filters and the strong version of a protoalgebraic logic
Archive for Mathematical Logic | 2001-12-13 | Paper |
An abstract algebraic logic approach to tetravalent modal logics
Journal of Symbolic Logic | 2001-01-14 | Paper |
| scientific article; zbMATH DE number 1343457 (Why is no real title available?) | 2000-08-27 | Paper |
| scientific article; zbMATH DE number 1458915 (Why is no real title available?) | 2000-06-14 | Paper |
Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
Logic Journal of the IGPL | 2000-02-21 | Paper |
On Special Implicative Filters
Mathematical Logic Quarterly | 1999-05-18 | Paper |
Belnap's Four-Valued Logic and De Morgan Lattices
Logic Journal of the IGPL | 1997-09-03 | Paper |
On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
Logic Journal of the IGPL | 1997-01-06 | Paper |
| scientific article; zbMATH DE number 945663 (Why is no real title available?) | 1996-11-14 | Paper |
| scientific article; zbMATH DE number 859793 (Why is no real title available?) | 1996-05-19 | Paper |
Algebraic study of two deductive systems of relevance logic
Notre Dame Journal of Formal Logic | 1996-03-17 | Paper |
Note on a six-valued extension of three-valued logic
Journal of Applied Non-Classical Logics | 1994-06-16 | Paper |
A note on Sugihara algebras
Publicacions Matemàtiques | 1994-02-17 | Paper |
| scientific article; zbMATH DE number 475183 (Why is no real title available?) | 1994-01-13 | Paper |
The lattice of distributive closure operators over an algebra
Studia Logica | 1993-05-16 | Paper |
Algebraic logic for classical conjunction and disjunction
Studia Logica | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67027 (Why is no real title available?) | 1992-09-27 | Paper |
Note on algebraic models for relevance logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
A first approach to abstract modal logics
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4106836 (Why is no real title available?) | 1989-01-01 | Paper |
Correction to “Some Remarks on Heyting Matrices”
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049693 (Why is no real title available?) | 1987-01-01 | Paper |
Modality and possibility in some intuitionistic modal logics
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
Some Remarks on Heyting Matrices
Mathematical Logic Quarterly | 1986-01-01 | Paper |
Some Remarks on Heyting Matrices
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3887682 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3957057 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3895062 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3954900 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3865243 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3813586 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3827864 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3801511 (Why is no real title available?) | 1982-01-01 | Paper |
