| Publication | Date of Publication | Type |
|---|
On a class of subreducts of the variety of integral srl-monoids and related logics
Studia Logica | 2024-09-03 | 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 |
A categorial equivalence for semi-Nelson algebras
Soft Computing | 2022-11-22 | Paper |
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
Logic Journal of the IGPL | 2022-08-10 | Paper |
Dually hemimorphic semi-Nelson algebras
Logic Journal of the IGPL | 2022-06-16 | Paper |
Semidistributivity and whitman property in implication zroupoids
Mathematica Slovaca | 2022-01-11 | Paper |
| An alternative axiomatic presentation of Nelson algebras | 2021-06-14 | 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 |
Semi-intuitionistic logic with strong negation
Studia Logica | 2018-04-16 | Paper |
Semi-Nelson algebras
Order | 2018-04-10 | Paper |
On derived algebras and subvarieties of implication zroupoids
Soft Computing | 2018-03-07 | Paper |
| A recursive formula for the number of semi-Heyting algebras definable on a finite chain | 2017-10-06 | Paper |
Semisimple varieties of implication zroupoids
Soft Computing | 2017-09-08 | Paper |
Semisimple varieties of implication zroupoids
Soft Computing | 2017-09-08 | Paper |
| Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation | 2017-08-30 | Paper |
On implicator groupoids
Algebra Universalis | 2017-04-13 | Paper |
Order in implication zroupoids
Studia Logica | 2016-06-14 | Paper |
Order in implication zroupoids
Studia Logica | 2016-06-14 | Paper |
The semi Heyting-Brouwer logic
Studia Logica | 2015-09-15 | Paper |
On some semi-intuitionistic logics
Studia Logica | 2015-07-02 | Paper |
On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube.
Algebra Universalis | 2015-03-02 | Paper |
Semi-Heyting algebras term-equivalent to Gödel algebras
Order | 2013-06-26 | Paper |
A quantum sensor for neutrino mass measurements
Advances in High Energy Physics | 2013-05-21 | Paper |
The variety generated by semi-Heyting chains
Soft Computing | 2012-07-03 | Paper |
Free-decomposability in varieties of semi-Heyting algebras
Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
Reports on Mathematical Logic | 2012-05-30 | Paper |
Semi-intuitionistic logic
Studia Logica | 2012-03-09 | Paper |
