Publication | Date of Publication | Type |
---|
Abstract algebraic logic. An introductory chapter | 2024-03-25 | Paper |
Logics of varieties, logics of semilattices and conjunction | 2019-01-08 | Paper |
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic | 2018-09-13 | Paper |
A note of the full generalized models of the extensions of a logic | 2018-03-29 | Paper |
The strong version of a sentential logic | 2017-11-16 | Paper |
Ordering protoalgebraic logics | 2017-01-31 | Paper |
COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC | 2016-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3185647 | 2016-08-04 | Paper |
Consequence and Degrees of Truth in Many-Valued Logic | 2015-10-06 | Paper |
\(M\)-sets and the representation problem | 2015-06-18 | Paper |
A note on congruences of semilattices with sectionally finite height. | 2014-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5413346 | 2014-04-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5411411 | 2014-04-23 | Paper |
Erratum to J. M. Font, The simplest protoalgebraic logic | 2014-03-21 | Paper |
The simplest protoalgebraic logic | 2014-02-05 | Paper |
Logics preserving degrees of truth from varieties of residuated lattices | 2012-06-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2888156 | 2012-05-30 | Paper |
Leibniz-linked pairs of deductive systems | 2011-11-23 | Paper |
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices | 2010-01-14 | Paper |
Taking degrees of truth seriously | 2009-05-08 | Paper |
Update to ``A survey of abstract algebraic logic | 2009-03-17 | Paper |
On the infinite-valued Łukasiewicz logic that preserves degrees of truth | 2006-11-06 | Paper |
On the closure properties of the class of full G-models of a deductive system | 2006-10-27 | Paper |
Beyond Rasiowa's algebraic approach to non-classical logics | 2006-08-16 | Paper |
On weakening the Deduction Theorem and strengthening Modus Ponens | 2004-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4463929 | 2004-06-08 | Paper |
A survey of abstract algebraic logic | 2004-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4450439 | 2004-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2772907 | 2003-02-06 | Paper |
On Łukasiewicz's four-valued modal logic | 2002-07-08 | Paper |
Leibniz filters and the strong version of a protoalgebraic logic | 2001-12-13 | Paper |
An abstract algebraic logic approach to tetravalent modal logics | 2001-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4267168 | 2000-08-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4485559 | 2000-06-14 | Paper |
Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices' | 2000-02-21 | Paper |
On Special Implicative Filters | 1999-05-18 | Paper |
Belnap's Four-Valued Logic and De Morgan Lattices | 1997-09-03 | Paper |
On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics | 1997-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4715441 | 1996-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4870565 | 1996-05-19 | Paper |
Algebraic study of two deductive systems of relevance logic | 1996-03-17 | Paper |
Note on a six-valued extension of three-valued logic | 1994-06-16 | Paper |
A note on Sugihara algebras | 1994-02-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4273420 | 1994-01-13 | Paper |
The lattice of distributive closure operators over an algebra | 1993-05-16 | Paper |
Algebraic logic for classical conjunction and disjunction | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4011715 | 1992-09-27 | Paper |
Note on algebraic models for relevance logic | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3830999 | 1989-01-01 | Paper |
A first approach to abstract modal logics | 1989-01-01 | Paper |
Correction to “Some Remarks on Heyting Matrices” | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3786512 | 1987-01-01 | Paper |
Modality and possibility in some intuitionistic modal logics | 1986-01-01 | Paper |
Some Remarks on Heyting Matrices | 1986-01-01 | Paper |
Some Remarks on Heyting Matrices | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3222191 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3726084 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5187280 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3333007 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3724326 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3661545 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674658 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4745805 | 1982-01-01 | Paper |