| Publication | Date of Publication | Type |
|---|
Paraconsistent models of Zermelo-Fraenkel set theory
Notre Dame Journal of Formal Logic | 2026-03-31 | Paper |
Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
Fuzzy Sets and Systems | 2023-10-30 | Paper |
Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
Logic and Logical Philosophy | 2023-07-03 | Paper |
| Super-\L ukasiewicz logics expanded by $\Delta$ | 2022-11-04 | Paper |
| Paraconsistent models of Zermelo-Fraenkel set theory | 2022-10-14 | Paper |
| A note on k-cyclic modal pseudocomplemented De Morgan algebras | 2022-10-14 | Paper |
| \(\mathbf{G}_3'\) as the logic of modal 3-valued Heyting algebras | 2022-10-12 | Paper |
Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
Studia Logica | 2022-10-04 | Paper |
Logics of formal inconsistency based on distributive involutive residuated lattices
Journal Of Logic And Computation | 2021-09-22 | Paper |
| Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras | 2021-07-08 | Paper |
A family of genuine and non-algebraisable C-systems
Journal of Applied Non-Classical Logics | 2021-07-06 | Paper |
Non-deterministic algebraization of logics by swap structures
Logic Journal of the IGPL | 2021-01-08 | Paper |
First-order swap structures semantics for some logics of formal inconsistency
Journal Of Logic And Computation | 2020-12-15 | Paper |
A model-theoretic analysis of Fidel-structures for mbC
Outstanding Contributions to Logic | 2020-08-10 | Paper |
| Leibniz's law and its paraconsistent models | 2020-07-20 | Paper |
First-order swap structures semantics for some Logics of Formal Inconsistency
(available as arXiv preprint) | 2019-12-21 | Paper |
On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras
Studia Logica | 2019-09-03 | Paper |
Symmetric operators on modal pseudocomplemented De Morgan algebras
Logic Journal of the IGPL | 2019-01-08 | Paper |
A topological duality for monadic MV-algebras
Soft Computing | 2018-03-07 | Paper |
A preliminary study of MV-algebras with two quantifiers which commute
Studia Logica | 2016-10-27 | Paper |
Notes on Hilbert lattices
International Mathematical Forum | 2012-09-12 | Paper |
Free algebras over a poset in varieties
Communications of the Korean Mathematical Society | 2011-11-10 | Paper |
A note on Hilbert algebras
Southeast Asian Bulletin of Mathematics | 2009-11-11 | Paper |
ŁUKASIEWICZ RESIDUATION ALGEBRAS WITH INFIMUM
Demonstratio Mathematica | 2008-03-06 | Paper |
Pure Hilbert Algebras with Infimum
Logic Journal of the IGPL | 2008-01-18 | Paper |
| Remarks on Hertz algebras and implicative semilattices | 2007-04-25 | Paper |
FREE (n + 1) - VALUED ŁUKASIEWICZ BCK-ALGEBRAS
Demonstratio Mathematica | 2005-03-08 | Paper |
Leibniz's law and paraconsistent models of ZFC
(available as arXiv preprint) | N/A | Paper |
