| Publication | Date of Publication | Type |
|---|
| A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions | 2024-02-29 | Paper |
| Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications | 2024-01-19 | Paper |
| A note on chain‐based semi‐Heyting algebras | 2023-09-12 | Paper |
| Semidistributivity and whitman property in implication zroupoids | 2022-01-11 | Paper |
| De Morgan Semi-Heyting and Heyting Algebras | 2020-12-02 | Paper |
| JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras | 2020-09-17 | Paper |
| The lattice of varieties of implication semigroups | 2020-07-17 | Paper |
| Implication Zroupoids and Birkhoff Systems | 2020-01-16 | Paper |
| Semi-Heyting Algebras and Identities of Associative Type | 2019-10-31 | Paper |
| Symmetric implication zroupoids and weak associative laws | 2019-08-15 | Paper |
| Symmetric implication zroupoids and identities of Bol-Moufang type | 2018-10-23 | Paper |
| Implication Zroupoids and Identities of Associative Type | 2018-09-17 | Paper |
| On derived algebras and subvarieties of implication zroupoids | 2018-03-07 | Paper |
| Semisimple varieties of implication zroupoids | 2017-09-08 | Paper |
| On implicator groupoids | 2017-04-13 | Paper |
| Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity | 2016-11-23 | Paper |
| Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity | 2016-11-23 | Paper |
| Universal varieties of quasi-Stone algebras | 2016-10-26 | Paper |
| A note on regular De Morgan semi-Heyting algebras | 2016-08-29 | Paper |
| Order in implication zroupoids | 2016-06-14 | Paper |
| Boole's Principles of Symbolical Reasoning | 2014-12-09 | Paper |
| Congruence properties of pseudocomplemented De Morgan algebras | 2014-12-05 | Paper |
| Boole's Method I. A Modern Version | 2014-04-03 | Paper |
| De Morgan algebras: new perspectives and applications | 2013-07-12 | Paper |
| The Horn theory of Boole's partial algebras | 2013-07-11 | Paper |
| Expansions of semi-Heyting algebras. I: Discriminator varieties | 2012-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3605557 | 2009-02-24 | Paper |
| Quasi‐Stone algebras | 1994-09-08 | Paper |
| Varieties of Demi‐Pseudocomplemented Lattices | 1993-04-01 | Paper |
| Principal Congruences of Demi‐Pseudocomplemented Ockham Algebras and Applications | 1993-04-01 | Paper |
| Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility | 1990-01-01 | Paper |
| Principal congruences of double demi-p-lattices | 1990-01-01 | Paper |
| Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences | 1989-01-01 | Paper |
| Linked Double Weak Stone Algebras | 1989-01-01 | Paper |
| Principal Congruences of Pseudocomplemented Demorgan Algebras | 1987-01-01 | Paper |
| Semi-de Morgan algebras | 1987-01-01 | Paper |
| Heyting Algebras with a Dual Lattice Endomorphism | 1987-01-01 | Paper |
| Pseudocomplemented Okham and Demorgan Algebras | 1986-01-01 | Paper |
| Heyting algebras with dual pseudocomplementation | 1985-01-01 | Paper |
| Distributive Lattices with a Dual Endomorphism | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689223 | 1985-01-01 | Paper |
| Congruence-semimodular and congruence-distributive pseudocomplemented semilattices | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3934450 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861449 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907555 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926631 | 1980-01-01 | Paper |
| Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3205291 | 1979-01-01 | Paper |
| Congruence lattices of pseudocomplemented semilattices | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4165352 | 1978-01-01 | Paper |
| Lattice-theoretic decision problems in universal algebra | 1975-01-01 | Paper |
