| Publication | Date of Publication | Type |
|---|
| When the divisibility poset of the ideal class monoid of a numerical semigroup is a lattice | 2026-06-10 | Paper |
How to believe long conjunctions of beliefs: probability, quasi-dogmatism and contextualism
Erkenntnis | 2026-04-14 | Paper |
| Certified algorithms for numerical semigroups in Rocq | 2026-02-19 | Paper |
Modal weak Kleene logics: axiomatizations and relational semantics
Journal of Logic and Computation | 2025-10-29 | Paper |
The poset of normalized ideals of numerical semigroups with multiplicity three
Communications in Algebra | 2025-07-22 | Paper |
On the structure of Bochvar algebras
The Review of Symbolic Logic | 2025-04-25 | Paper |
| On the structure of balanced residuated partially ordered monoids | 2025-03-12 | Paper |
Embeddings of metric Boolean algebras in \(\mathbb{R}^N\)
Topology and its Applications | 2024-04-02 | Paper |
Counterfactuals as modal conditionals, and their probability
Artificial Intelligence | 2023-10-04 | Paper |
A logical modeling of severe ignorance
Journal of Philosophical Logic | 2023-08-02 | Paper |
Containment logics: Algebraic Counterparts and Reduced Models
Journal Of Logic And Computation | 2022-09-22 | Paper |
A logic for a critical attitude?
Logic and Logical Philosophy | 2022-07-26 | Paper |
Logics of variable inclusion
Trends in Logic -- Studia Logica Library | 2022-06-09 | Paper |
Containment logics: algebraic completeness and axiomatization
Studia Logica | 2021-12-27 | Paper |
Containment logics: algebraic completeness and axiomatization
Studia Logica | 2021-12-27 | Paper |
Probability over Płonka sums of Boolean algebras: states, metrics and topology
International Journal of Approximate Reasoning | 2021-10-27 | Paper |
Counting finite linearly ordered involutive bisemilattices
(available as arXiv preprint) | 2021-07-22 | Paper |
Logics of left variable inclusion and Płonka sums of matrices
Archive for Mathematical Logic | 2021-01-19 | Paper |
Probability over Plonka sums of Boolean algebras: states, metrics and topology
(available as arXiv preprint) | 2020-07-24 | Paper |
| Sure-wins under coherence: a geometrical perspective | 2020-02-20 | Paper |
The Płonka product of topological spaces
Algebra Universalis | 2019-07-10 | Paper |
A duality for involutive bisemilattices
Studia Logica | 2019-06-19 | Paper |
Representing quantum structures as near semirings
Logic Journal of the IGPL | 2019-01-08 | Paper |
Representing quantum structures as near semirings
Logic Journal of the IGPL | 2019-01-08 | Paper |
Dualities for Płonka sums
Logica Universalis | 2018-12-12 | Paper |
On the<i>n</i>×<i>n</i>×<i>n</i>Rubik's Cube
Mathematica Slovaca | 2018-11-27 | Paper |
Counting finite linearly ordered involutive bisemilattices
(available as arXiv preprint) | 2018-11-08 | Paper |
Dualities for Plonka sums
(available as arXiv preprint) | 2018-04-06 | Paper |
Residuated relational systems
Asian-European Journal of Mathematics | 2018-04-03 | Paper |
The rhythm of quantum algorithms
Soft Computing | 2018-02-27 | Paper |
A note on orthomodular lattices
International Journal of Theoretical Physics | 2018-02-05 | Paper |
Orthogonal relational systems
Soft Computing | 2017-09-08 | Paper |
The first law of cubology for the Rubik's Revenge
Mathematica Slovaca | 2017-07-03 | Paper |
On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
Studia Logica | 2017-05-15 | Paper |
| Undefinability of Standard sequent calculi for Paraconsistent three-valued logics | 2016-12-03 | Paper |
On the structure of Bochvar algebras
(available as arXiv preprint) | N/A | Paper |
Modal weak Kleene logics: axiomatizations and relational semantics
(available as arXiv preprint) | N/A | Paper |
