| Publication | Date of Publication | Type |
|---|
Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics
Studia Logica | 2023-08-10 | Paper |
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
Journal of Symbolic Logic | 2023-02-27 | Paper |
Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras
| 2022-12-06 | Paper |
A variety of algebras closely related to subordination algebras
Journal of Applied Non-Classical Logics | 2022-11-17 | Paper |
Quasi-Nelson algebras and fragments
Mathematical Structures in Computer Science | 2022-01-20 | Paper |
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
Journal of Symbolic Logic | 2021-12-09 | Paper |
The poset of all logics. III: Finitely presentable logics
Studia Logica | 2021-08-19 | Paper |
Bounded distributive lattices with two subordinations
| 2021-03-19 | Paper |
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
Soft Computing | 2020-07-15 | Paper |
Priestley-style duality for filter-distributive congruential logics
| 2020-03-02 | Paper |
The poset of all logics II: Leibniz classes and hierarchy
| 2020-02-18 | Paper |
The Poset of All Logics I: Interpretations and Lattice Structure
| 2019-11-21 | Paper |
On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
Logic Journal of the IGPL | 2019-06-24 | Paper |
On principal congruences in distributive lattices with a commutative monoidal operation and an implication
Studia Logica | 2019-06-19 | 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 |
A spectral-style duality for distributive posets
Order | 2018-07-27 | 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 |
Four-valued modal logic: Kripke semantics and duality
Journal Of Logic And Computation | 2017-05-17 | Paper |
A topological duality for posets
Algebra Universalis | 2016-12-16 | Paper |
A note on Hilbert algebras and their related generalized Esakia spaces
Order | 2016-12-16 | Paper |
Compatibility operators in abstract algebraic logic
Journal of Symbolic Logic | 2016-08-19 | Paper |
On the deductive system of the order of an equationally orderable quasivariety
Studia Logica | 2016-06-14 | Paper |
Esakia duality and its extensions
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Dualities for modal N4-lattices
Logic Journal of the IGPL | 2015-02-12 | Paper |
Bloom, Brown and Suszko's work on abstract logics
| 2014-05-19 | Paper |
Esakia style duality for implicative semilattices
Applied Categorical Structures | 2013-03-25 | Paper |
\(\Delta_1\)-completions of a poset.
Order | 2013-03-20 | Paper |
Algebraizable logics with a strong conjunction and their semi-lattice based companions
Archive for Mathematical Logic | 2013-02-04 | Paper |
Residuated bilattices
Soft Computing | 2013-01-25 | Paper |
On the free implicative semilattice extension of a Hilbert algebra
Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
A note on the model theory for positive modal logic
Fundamenta Informaticae | 2012-05-04 | Paper |
Priestley style duality for distributive meet-semilattices
Studia Logica | 2012-03-09 | Paper |
Varieties of interlaced bilattices
Algebra Universalis | 2011-11-23 | Paper |
Leibniz-linked pairs of deductive systems
Studia Logica | 2011-11-23 | Paper |
Canonical extensions for congruential logics with the deduction theorem
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Generalized Priestley quasi-orders
Order | 2011-08-16 | Paper |
Distributive lattices with a generalized implication: topological duality
Order | 2011-08-16 | Paper |
Update to ``A survey of abstract algebraic logic
Studia Logica | 2009-03-17 | Paper |
scientific article; zbMATH DE number 5316603 (Why is no real title available?)
| 2008-08-26 | Paper |
Referential semantics: duality and applications
| 2008-02-15 | Paper |
Selfextensional logics with a conjunction
Studia Logica | 2007-02-13 | Paper |
Willem Blok's contribution to abstract algebraic logic
Studia Logica | 2006-10-27 | Paper |
On the closure properties of the class of full G-models of a deductive system
Studia Logica | 2006-10-27 | Paper |
Selfextensional logics in abstract algebraic logic: a brief survey
| 2006-01-24 | Paper |
scientific article; zbMATH DE number 2196609 (Why is no real title available?)
| 2005-08-22 | Paper |
Bounded distributive lattices with strict implication
MLQ | 2005-06-01 | Paper |
A survey of abstract algebraic logic
Studia Logica | 2004-02-15 | Paper |
A closer look at some subintuitionistic logics
Notre Dame Journal of Formal Logic | 2004-02-04 | Paper |
Leibniz filters revisited
Studia Logica | 2004-01-14 | Paper |
Fully adequate Gentzen systems and the deduction theorem
Reports on Mathematical Logic | 2003-02-06 | Paper |
scientific article; zbMATH DE number 1747706 (Why is no real title available?)
| 2002-05-29 | Paper |
Leibniz filters and the strong version of a protoalgebraic logic
Archive for Mathematical Logic | 2001-12-13 | Paper |
Weakly algebraizable logics
Journal of Symbolic Logic | 2000-10-03 | Paper |
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
Logic Journal of the IGPL | 2000-04-03 | Paper |
Definability of Leibniz equality
Studia Logica | 2000-03-21 | Paper |
A new semantics for positive modal logic
Notre Dame Journal of Formal Logic | 1998-05-10 | Paper |
scientific article; zbMATH DE number 1004875 (Why is no real title available?)
| 1997-09-29 | Paper |
On elementary equivalence for equality-free logic
Notre Dame Journal of Formal Logic | 1997-05-19 | Paper |
Some characterization theorems for infinitary universal Horn logic without equality
Journal of Symbolic Logic | 1997-04-16 | 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 |
Abstract modal logics
Studia Logica | 1995-11-22 | Paper |
Some logics related to von Wright's logic of place
Notre Dame Journal of Formal Logic | 1994-12-01 | Paper |
scientific article; zbMATH DE number 523906 (Why is no real title available?)
| 1994-03-06 | Paper |
On the Mathematical Content of the Theory of Classes KM
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
scientific article; zbMATH DE number 3976995 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3819697 (Why is no real title available?)
| 1982-01-01 | Paper |
