| Publication | Date of Publication | Type |
|---|
The amalgamation property in the variety of regular double stone algebras: a constructive view
Bulletin of the Section of Logic | 2026-05-19 | Paper |
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
Mathematica Slovaca | 2024-01-19 | Paper |
A note on chain‐based semi‐Heyting algebras
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Semidistributivity and whitman property in implication zroupoids
Mathematica Slovaca | 2022-01-11 | Paper |
De Morgan semi-Heyting and Heyting algebras
New Trends in Algebras and Combinatorics | 2020-12-02 | Paper |
JI-distributive, dually quasi-de Morgan semi-Heyting and Heyting algebras
(available as arXiv preprint) | 2020-09-17 | Paper |
The lattice of varieties of implication semigroups
Order | 2020-07-17 | Paper |
| Implication Zroupoids and Birkhoff Systems | 2020-01-16 | Paper |
Semi-Heyting algebras and identities of associative type
Bulletin of the Section of Logic | 2019-10-31 | Paper |
Symmetric implication zroupoids and weak associative laws
Soft Computing | 2019-08-15 | Paper |
Symmetric implication zroupoids and weak associative laws
Soft Computing | 2019-08-15 | Paper |
Symmetric implication zroupoids and identities of Bol-Moufang type
Soft Computing | 2018-10-23 | Paper |
Implication zroupoids and identities of associative type
(available as arXiv preprint) | 2018-09-17 | Paper |
On derived algebras and subvarieties of implication zroupoids
Soft Computing | 2018-03-07 | Paper |
Semisimple varieties of implication zroupoids
Soft Computing | 2017-09-08 | Paper |
Semisimple varieties of implication zroupoids
Soft Computing | 2017-09-08 | Paper |
On implicator groupoids
Algebra Universalis | 2017-04-13 | Paper |
Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity
Categories and General Algebraic Structures with Applications | 2016-11-23 | Paper |
Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity
Categories and General Algebraic Structures with Applications | 2016-11-23 | Paper |
Universal varieties of quasi-Stone algebras
Algebra Universalis | 2016-10-26 | Paper |
A note on regular De Morgan semi-Heyting algebras
Demonstratio Mathematica | 2016-08-29 | Paper |
Order in implication zroupoids
Studia Logica | 2016-06-14 | Paper |
Order in implication zroupoids
Studia Logica | 2016-06-14 | Paper |
| Boole's Principles of Symbolical Reasoning | 2014-12-09 | Paper |
Congruence properties of pseudocomplemented De Morgan algebras
Mathematical Logic Quarterly | 2014-12-05 | Paper |
| Boole's Method I. A Modern Version | 2014-04-03 | Paper |
De Morgan algebras: new perspectives and applications
Scientiae Mathematicae Japonicae | 2013-07-12 | Paper |
The Horn theory of Boole's partial algebras
The Bulletin of Symbolic Logic | 2013-07-11 | Paper |
Expansions of semi-Heyting algebras. I: Discriminator varieties
Studia Logica | 2012-03-09 | Paper |
| scientific article; zbMATH DE number 5510319 (Why is no real title available?) | 2009-02-24 | Paper |
Quasi‐Stone algebras
Mathematical Logic Quarterly | 1994-09-08 | Paper |
Varieties of Demi‐Pseudocomplemented Lattices
Mathematical Logic Quarterly | 1993-04-01 | Paper |
Principal Congruences of Demi‐Pseudocomplemented Ockham Algebras and Applications
Mathematical Logic Quarterly | 1993-04-01 | Paper |
Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility
Algebra Universalis | 1990-01-01 | Paper |
Principal congruences of double demi-p-lattices
Algebra Universalis | 1990-01-01 | Paper |
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences
Mathematical Logic Quarterly | 1989-01-01 | Paper |
Linked Double Weak Stone Algebras
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
Principal Congruences of Pseudocomplemented Demorgan Algebras
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
Semi-de Morgan algebras
Journal of Symbolic Logic | 1987-01-01 | Paper |
Heyting Algebras with a Dual Lattice Endomorphism
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
Pseudocomplemented Okham and Demorgan Algebras
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3912434 (Why is no real title available?) | 1985-01-01 | Paper |
Heyting algebras with dual pseudocomplementation
Pacific Journal of Mathematics | 1985-01-01 | Paper |
Distributive Lattices with a Dual Endomorphism
Mathematical Logic Quarterly | 1985-01-01 | Paper |
Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
Algebra Universalis | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3751028 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3663202 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3717306 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3739609 (Why is no real title available?) | 1980-01-01 | Paper |
| Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3646966 (Why is no real title available?) | 1979-01-01 | Paper |
Congruence lattices of pseudocomplemented semilattices
Algebra Universalis | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3598426 (Why is no real title available?) | 1978-01-01 | Paper |
Lattice-theoretic decision problems in universal algebra
Algebra Universalis | 1975-01-01 | Paper |
