| Publication | Date of Publication | Type |
|---|
Cut-elimination theorems for some logics associated with double stone algebras
International Journal of Approximate Reasoning | 2025-12-16 | Paper |
On \(n\)-valued Post algebras and \(n\)-valued Post logics: twist-style representation and proof theory
Fuzzy Sets and Systems | 2025-11-06 | Paper |
Cut-free sequent-style systems for a logic associated to involutive Stone algebras
Journal Of Logic And Computation | 2024-02-08 | Paper |
| Tense distributive lattices: algebra, logic and topology | 2023-09-09 | Paper |
| Normal proofs and tableaux for the Font-Rius tetravalent modal logic | 2023-04-28 | Paper |
On the logic that preserves degrees of truth associated to involutive Stone algebras
(available as arXiv preprint) | 2023-04-23 | Paper |
| Proof-theoretic aspects of paraconsistency with strong consistency operator | 2023-04-22 | Paper |
| On a four-valued logic of formal inconsistency and formal underterminedness | 2022-12-03 | Paper |
| Super-\L ukasiewicz logics expanded by $\Delta$ | 2022-11-04 | Paper |
Cut-free sequent calculus and natural deduction for the tetravalent modal logic
Studia Logica | 2021-12-27 | Paper |
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
The Review of Symbolic Logic | 2021-07-22 | Paper |
Cut--free sequent calculus and natural deduction for the tetravalent modal logic
(available as arXiv preprint) | 2021-01-24 | Paper |
On the logic that preserves degrees of truth associated to involutive Stone algebras
Logic Journal of the IGPL | 2021-01-08 | Paper |
Symmetric operators on modal pseudocomplemented De Morgan algebras
Logic Journal of the IGPL | 2019-01-08 | Paper |
| An algebraic construction of Moisil operators in \((n + 1)\)-valued Łukasiewicz propositional calculus | 2018-09-03 | Paper |
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
(available as arXiv preprint) | 2018-07-15 | Paper |
A formal framework for hypersequent calculi and their fibring
Studies in Universal Logic | 2015-06-24 | Paper |
Hilbert-style presentations of two logics associated to tetravalent modal algebras
Studia Logica | 2014-09-26 | Paper |
| scientific article; zbMATH DE number 6316274 (Why is no real title available?) | 2014-07-11 | Paper |
| Free algebras in varieties of Hilbert algebras with supremum generated by finite chains | 2013-07-30 | Paper |
| On the theory of dynamic sets | 2013-04-24 | Paper |
Some results on diagonal-free two-dimensional cylindric algebras
Reports on Mathematical Logic | 2012-05-30 | Paper |
ŁUKASIEWICZ RESIDUATION ALGEBRAS WITH INFIMUM
Demonstratio Mathematica | 2008-03-06 | Paper |
Finite Diagonal-free Two-dimensional Cylindric Algebras
Logic Journal of the IGPL | 2005-03-11 | Paper |
FREE (n + 1) - VALUED ŁUKASIEWICZ BCK-ALGEBRAS
Demonstratio Mathematica | 2005-03-08 | Paper |
| scientific article; zbMATH DE number 1828005 (Why is no real title available?) | 2001-01-01 | Paper |
