| Publication | Date of Publication | Type |
|---|
Hyper swap structures and Kalman functors: the case study of da Costa logic \(C_\omega\)
Logic Journal of the IGPL | 2026-04-02 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2024-10-24 | Paper |
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
Studia Logica | 2024-06-26 | Paper |
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Genuine paracomplete logics
Logic Journal of the IGPL | 2024-02-20 | Paper |
From Inconsistency to Incompatibility
Logic and Logical Philosophy | 2023-07-03 | Paper |
| Normal proofs and tableaux for the Font-Rius tetravalent modal logic | 2023-04-28 | Paper |
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
Logic Journal of the IGPL | 2023-04-21 | Paper |
| Fibring by functions as a method for combining matrix logics | 2022-12-20 | Paper |
| On a four-valued logic of formal inconsistency and formal underterminedness | 2022-12-03 | Paper |
| \(\mathbf{G}_3'\) as the logic of modal 3-valued Heyting algebras | 2022-10-12 | Paper |
Valuation semantics for first-order logics of evidence and truth
Journal of Philosophical Logic | 2022-09-30 | Paper |
| On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic | 2022-09-25 | Paper |
On the expressive power of Łukasiewicz square operator
Journal Of Logic And Computation | 2022-09-22 | Paper |
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
The Review of Symbolic Logic | 2022-08-26 | Paper |
Modal logic with non-deterministic semantics. I: Propositional case
Logic Journal of the IGPL | 2022-06-16 | Paper |
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
Studia Logica | 2022-06-01 | Paper |
| Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case | 2022-04-29 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2022-02-04 | Paper |
Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
Outstanding Contributions to Logic | 2022-01-04 | Paper |
| Restricted swap structures for da Costa's $C_n$ and their category | 2021-12-25 | Paper |
Twist-valued models for three-valued paraconsistent set theory
Logic and Logical Philosophy | 2021-12-02 | Paper |
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
The Review of Symbolic Logic | 2021-07-22 | Paper |
Valuation semantics for first-order logics of evidence and truth (and some related logics)
(available as arXiv preprint) | 2021-06-17 | Paper |
| Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics | 2021-06-08 | Paper |
Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
(available as arXiv preprint) | 2021-06-08 | Paper |
| On categorial combination of logics | 2021-03-18 | Paper |
On the expressive power of Lukasiewicz's square operator
(available as arXiv preprint) | 2021-03-12 | Paper |
Recovery operators, paraconsistency and duality
Logic Journal of the IGPL | 2021-01-08 | Paper |
Non-deterministic algebraization of logics by swap structures
Logic Journal of the IGPL | 2021-01-08 | Paper |
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
(available as arXiv preprint) | 2021-01-06 | Paper |
First-order swap structures semantics for some logics of formal inconsistency
Journal Of Logic And Computation | 2020-12-15 | Paper |
A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics
(available as arXiv preprint) | 2020-11-19 | Paper |
| On formal aspects of the epistemic approach to paraconsistency | 2020-08-25 | Paper |
A model-theoretic analysis of Fidel-structures for mbC
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
(available as arXiv preprint) | 2020-03-20 | Paper |
First-order swap structures semantics for some Logics of Formal Inconsistency
(available as arXiv preprint) | 2019-12-21 | Paper |
Twist-Valued Models for Three-valued Paraconsistent Set Theory
(available as arXiv preprint) | 2019-11-26 | Paper |
Swap structures semantics for Ivlev-like modal logics
Soft Computing | 2019-08-12 | Paper |
| Modal logic S4 as a paraconsistent logic with a topological semantics | 2019-07-24 | Paper |
| On the ordered Dedekind real numbers in toposes | 2019-03-11 | Paper |
Maximality in finite-valued Łukasiewicz logics defined by order filters
Journal Of Logic And Computation | 2019-03-01 | Paper |
Logics of formal inconsistency arising from systems of fuzzy logic
Logic Journal of the IGPL | 2019-01-08 | Paper |
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
AGM-like paraconsistent belief change
Logic Journal of the IGPL | 2019-01-08 | Paper |
Finite non-deterministic semantics for some modal systems
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| Modal Logic With Non-deterministic Semantics: Part I - Propositional Case | 2018-08-29 | Paper |
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
(available as arXiv preprint) | 2018-07-15 | Paper |
Paraconsistent logic: consistency, contradiction and negation
Logic, Epistemology, and the Unity of Science | 2016-12-13 | Paper |
Paraconsistent set theory by predicating on consistency
Journal of Logic and Computation | 2016-04-28 | Paper |
A formal framework for hypersequent calculi and their fibring
Studies in Universal Logic | 2015-06-24 | Paper |
An alternative approach for quasi-truth
Logic Journal of the IGPL | 2015-02-27 | Paper |
Dugundji's theorem revisited
Logica Universalis | 2015-02-05 | Paper |
On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
The Review of Symbolic Logic | 2015-01-21 | 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 |
Logics of formal inconsistency
Handbook of Philosophical Logic | 2013-06-18 | Paper |
| scientific article; zbMATH DE number 6157332 (Why is no real title available?) | 2013-04-24 | Paper |
Modal extensions of sub-classical logics for recovering classical logic
Logica Universalis | 2013-04-08 | Paper |
On Discourses Addressed by Infidel Logicians
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
New dimensions on translations between logics
Logica Universalis | 2013-01-25 | Paper |
Contracting logics
Logic, Language, Information and Computation | 2012-09-21 | Paper |
To distribute or not to distribute?
Logic Journal of the IGPL | 2012-03-07 | Paper |
| scientific article; zbMATH DE number 5997432 (Why is no real title available?) | 2012-01-13 | Paper |
| Splitting logics | 2011-06-21 | Paper |
Preservation by fibring of the finite model property
Journal Of Logic And Computation | 2011-06-10 | Paper |
A graph-theoretic account of logics
Journal Of Logic And Computation | 2010-01-14 | Paper |
On Graph-theoretic Fibring of Logics
Journal Of Logic And Computation | 2010-01-14 | Paper |
Combining valuations with society semantics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Recovering a logic from its fragments by meta-fibring
Logica Universalis | 2008-02-15 | Paper |
Analysis and synthesis of logics. How to cut and paste reasoning systems
Applied Logic Series | 2008-02-07 | Paper |
Fibring in the Leibniz Hierarchy
Logic Journal of the IGPL | 2008-01-18 | Paper |
| scientific article; zbMATH DE number 5015958 (Why is no real title available?) | 2006-03-29 | Paper |
| scientific article; zbMATH DE number 2196615 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2064307 (Why is no real title available?) | 2004-05-18 | Paper |
Fibring Logics with Topos Semantics
Journal Of Logic And Computation | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1828004 (Why is no real title available?) | 2003-06-02 | Paper |
Transfers between logics and their applications
Studia Logica | 2003-04-27 | Paper |
Fibring non-truth-functional logics: Completeness preservation
Journal of Logic, Language and Information | 2003-04-27 | Paper |
Non-commutative topology and quantales
Studia Logica | 2003-04-21 | Paper |
Modules in the category of sheaves over quantales
Annals of Pure and Applied Logic | 2002-04-21 | Paper |
Equality in linear logic
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
| scientific article; zbMATH DE number 1361520 (Why is no real title available?) | 2000-05-29 | Paper |
Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices
(available as arXiv preprint) | N/A | Paper |
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
(available as arXiv preprint) | N/A | Paper |
