Publication | Date of Publication | Type |
---|
A Category of Ordered Algebras Equivalent to the Category of Multialgebras | 2024-02-29 | Paper |
Genuine paracomplete logics | 2024-02-20 | Paper |
From Inconsistency to Incompatibility | 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 | 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 |
https://portal.mardi4nfdi.de/entity/Q5039189 | 2022-10-12 | Paper |
Valuation semantics for first-order logics of evidence and truth | 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 | 2022-09-22 | Paper |
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT | 2022-08-26 | Paper |
Modal logic with non-deterministic semantics: Part I—Propositional case | 2022-06-16 | Paper |
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics | 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 | 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 | 2021-12-02 | Paper |
SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE | 2021-07-22 | Paper |
Valuation semantics for first-order logics of evidence and truth (and some related logics) | 2021-06-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4992398 | 2021-06-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5855496 | 2021-03-18 | Paper |
On the expressive power of Lukasiewicz's square operator | 2021-03-12 | Paper |
Recovery operators, paraconsistency and duality | 2021-01-08 | Paper |
Non-deterministic algebraization of logics by swap structures1 | 2021-01-08 | Paper |
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case | 2021-01-06 | Paper |
First-order swap structures semantics for some logics of formal inconsistency | 2020-12-15 | Paper |
A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics | 2020-11-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5116444 | 2020-08-25 | Paper |
A Model-Theoretic Analysis of Fidel-Structures for mbC | 2020-08-10 | Paper |
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account | 2020-03-20 | Paper |
First-order swap structures semantics for some Logics of Formal Inconsistency | 2019-12-21 | Paper |
Twist-Valued Models for Three-valued Paraconsistent Set Theory | 2019-11-26 | Paper |
Swap structures semantics for Ivlev-like modal logics | 2019-08-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224788 | 2019-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3119357 | 2019-03-11 | Paper |
Maximality in finite-valued Łukasiewicz logics defined by order filters | 2019-03-01 | Paper |
Logics of formal inconsistency arising from systems of fuzzy logic | 2019-01-08 | Paper |
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics | 2019-01-08 | Paper |
AGM-like paraconsistent belief change | 2019-01-08 | Paper |
Finite non-deterministic semantics for some modal systems | 2018-09-12 | Paper |
Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ | 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 | 2018-07-15 | Paper |
Paraconsistent logic: consistency, contradiction and negation | 2016-12-13 | Paper |
Paraconsistent set theory by predicating on consistency | 2016-04-28 | Paper |
A Formal Framework for Hypersequent Calculi and Their Fibring | 2015-06-24 | Paper |
An alternative approach for quasi-truth | 2015-02-27 | Paper |
Dugundji's theorem revisited | 2015-02-05 | Paper |
ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY | 2015-01-21 | Paper |
Hilbert-style presentations of two logics associated to tetravalent modal algebras | 2014-09-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5169613 | 2014-07-11 | Paper |
Logics of Formal Inconsistency | 2013-06-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4918396 | 2013-04-24 | Paper |
Modal extensions of sub-classical logics for recovering classical logic | 2013-04-08 | Paper |
On Discourses Addressed by Infidel Logicians | 2013-04-02 | Paper |
New dimensions on translations between logics | 2013-01-25 | Paper |
Contracting Logics | 2012-09-21 | Paper |
To distribute or not to distribute? | 2012-03-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q3112290 | 2012-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3007252 | 2011-06-21 | Paper |
Preservation by fibring of the finite model property | 2011-06-10 | Paper |
A Graph-theoretic Account of Logics | 2010-01-14 | Paper |
On Graph-theoretic Fibring of Logics | 2010-01-14 | Paper |
Combining Valuations with Society Semantics | 2009-11-30 | Paper |
Recovering a logic from its fragments by meta-fibring | 2008-02-15 | Paper |
Analysis and synthesis of logics. How to cut and paste reasoning systems | 2008-02-07 | Paper |
Fibring in the Leibniz Hierarchy | 2008-01-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3377764 | 2006-03-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5311062 | 2005-08-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4461808 | 2004-05-18 | Paper |
Fibring Logics with Topos Semantics | 2003-11-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4781807 | 2003-06-02 | Paper |
Transfers between logics and their applications | 2003-04-27 | Paper |
Fibring non-truth-functional logics: Completeness preservation | 2003-04-27 | Paper |
Non-commutative topology and quantales | 2003-04-21 | Paper |
Modules in the category of sheaves over quantales | 2002-04-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2735816 | 2001-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699338 | 2000-05-29 | Paper |