| Publication | Date of Publication | Type |
|---|
Universal algebraic methods for non-classical logics
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Semilinear De Morgan monoids and epimorphisms
Algebra Universalis | 2024-01-23 | Paper |
The algebraic significance of weak excluded middle laws
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| scientific article; zbMATH DE number 7422483 (Why is no real title available?) | 2021-11-09 | Paper |
Epimorphisms in varieties of subidempotent residuated structures
Algebra Universalis | 2021-02-09 | Paper |
Singly generated quasivarieties and residuated structures
Mathematical Logic Quarterly | 2020-09-09 | Paper |
Varieties of De Morgan monoids: covers of atoms
The Review of Symbolic Logic | 2020-04-27 | Paper |
Epimorphisms, definability and cardinalities
Studia Logica | 2020-03-27 | Paper |
On prevarieties of logic
Algebra Universalis | 2019-09-12 | Paper |
Varieties of De Morgan monoids: minimality and irreducible algebras
Journal of Pure and Applied Algebra | 2019-03-06 | Paper |
On prevarieties of logic
(available as arXiv preprint) | 2019-02-11 | Paper |
Relative congruence formulas and decompositions in quasivarieties
Algebra Universalis | 2017-12-21 | Paper |
Epimorphisms in varieties of residuated structures
Journal of Algebra | 2017-10-20 | Paper |
Epimorphisms in varieties of residuated structures
Journal of Algebra | 2017-10-20 | Paper |
Admissible rules and the Leibniz hierarchy
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Admissible rules and the Leibniz hierarchy
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Structural completeness in relevance logics
Studia Logica | 2016-06-14 | Paper |
Idempotent residuated structures: Some category equivalences and their applications
Transactions of the American Mathematical Society | 2015-04-22 | Paper |
Inconsistency lemmas in algebraic logic
Mathematical Logic Quarterly | 2014-02-05 | Paper |
A perspective on the algebra of logic
Quaestiones Mathematicae | 2013-11-19 | Paper |
Order algebraizable logics
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
A category equivalence for odd Sugihara monoids and its applications
Journal of Pure and Applied Algebra | 2013-01-30 | Paper |
Contextual deduction theorems
Studia Logica | 2011-11-23 | Paper |
A non-finitary sentential logic that is elementarily algebraizable
Journal Of Logic And Computation | 2010-08-26 | Paper |
Semiconic idempotent residuated structures
Algebra Universalis | 2010-01-04 | Paper |
Structural Completeness in Substructural Logics
Logic Journal of the IGPL | 2008-12-05 | Paper |
Residuated Structures, Concentric Sums and Finiteness Conditions
Communications in Algebra | 2008-12-02 | Paper |
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
International Journal of Algebra and Computation | 2008-08-19 | Paper |
| Irreducible residuated semilattices and finitely based varieties | 2008-06-18 | Paper |
| scientific article; zbMATH DE number 5235521 (Why is no real title available?) | 2008-02-15 | Paper |
| On the variety generated by involutive pocrims | 2008-02-07 | Paper |
Conserving involution in residuated structures
Mathematical Logic Quarterly | 2008-01-04 | Paper |
Positive Sugihara monoids
Algebra Universalis | 2007-09-03 | Paper |
Representable idempotent commutative residuated lattices
Transactions of the American Mathematical Society | 2007-05-31 | Paper |
A finite model property for RMImin
MLQ | 2007-02-02 | Paper |
Correspondences between gentzen and hilbert systems
Journal of Symbolic Logic | 2006-11-29 | Paper |
In memory of Willem Johannes Blok 1947-2003
Studia Logica | 2006-10-27 | Paper |
| Corrigendum: Residuation in commutative ordered monoids with minimal zero | 2006-09-14 | Paper |
Constructing simple residuated lattices
Algebra Universalis | 2006-01-17 | Paper |
A characterization of varieties.
Algebra Universalis | 2005-04-19 | Paper |
Fragments of R-mingle
Studia Logica | 2005-04-07 | Paper |
Adding involution to residuated structures
Studia Logica | 2005-04-07 | Paper |
Rule separation and embedding theorems for logics without weakening
Studia Logica | 2004-08-06 | Paper |
Willem Blok's work in algebraic logic
Studia Logica | 2004-08-06 | Paper |
Quasivarieties of logic, regularity conditions and parameterized algebraization
Studia Logica | 2004-02-15 | Paper |
The evaluation of disease prevention and treatment using simulation models
European Journal of Operational Research | 2003-08-13 | Paper |
Residuation in commutative ordered monoids with minimal zero
Reports on Mathematical Logic | 2002-11-04 | Paper |
On the lattice of varieties of residuation algebras
Algebra Universalis | 2001-06-10 | Paper |
On congruence modularity in varieties of logic.
Algebra Universalis | 2001-06-10 | Paper |
| scientific article; zbMATH DE number 1415870 (Why is no real title available?) | 2000-10-26 | Paper |
The finite model property for the implicational fragment of IPC without exchange and contraction
Studia Logica | 2000-06-04 | Paper |
On the degrees of permutability of subregular varieties
Czechoslovak Mathematical Journal | 1999-11-18 | Paper |
| scientific article; zbMATH DE number 1302497 (Why is no real title available?) | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1076476 (Why is no real title available?) | 1999-05-05 | Paper |
IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
Quaestiones Mathematicae | 1998-08-02 | Paper |
Varieties of commutative residuated integral pomonoids and their residuation subreducts
Journal of Algebra | 1997-09-21 | Paper |
HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS
Demonstratio Mathematica | 1997-02-24 | Paper |
ON PRIME RINGS AND THE RADICALS ASSOCIATED WITH THEIR DEGREES OF PRIMENESS
Quaestiones Mathematicae | 1996-08-18 | Paper |
On the quasivariety of BCK-algebras and its subvarieties
Algebra Universalis | 1995-02-22 | Paper |
Ideal determined varieties need not be congruence 3-permutable
Algebra Universalis | 1995-01-05 | Paper |
Every algebraic chain is the congruence lattice of a ring
Journal of Algebra | 1994-09-08 | Paper |
On rings (and chain domains) with restricted completeness conditions on topologizing filters
Communications in Algebra | 1994-09-08 | Paper |
| scientific article; zbMATH DE number 438526 (Why is no real title available?) | 1994-04-19 | Paper |
| Tolerance numbers, congruence $n$-permutability and BCK-algebras | 1993-09-21 | Paper |
ON A CLASSIFICATION OF PRIME RINGS
Quaestiones Mathematicae | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 90268 (Why is no real title available?) | 1993-01-16 | Paper |
ON THE SEMIPRIME IDEAL LATTICE OF A RIGHT INVARIANT RING
Quaestiones Mathematicae | 1992-06-26 | Paper |
COMPLETIONS OF UNIFORM UNIVERSAL ALGEBRAS AND STRONGLY UNIFORM BCK-ALGEBRAS
Demonstratio Mathematica | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 12939 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4181412 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4089627 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4053616 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4035833 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4021203 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4019066 (Why is no real title available?) | 1987-01-01 | Paper |
ON SOME RINGS WHOSE INJECTIVE HULLS HAVE FEW PRERADICAL SUBMODULES
Quaestiones Mathematicae | 1987-01-01 | Paper |
ON SOME SPECIAL CLASSES OF PRIME RINGS
Quaestiones Mathematicae | 1986-01-01 | Paper |
