Cover Image

A taxonomy for controlling (in)consistency

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Coniglio, Marcelo E., Ongaratto, Rafael
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science 03B53, 03B50
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
by: Coniglio, Marcelo E., et al.
Published: (2024)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

On an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

Strong Negation is Definable in 2Int
by: Oddsson, Hrafn Valtýr
Published: (2025)

On connexivity in modal and conditional contexts
by: Olkhovikov, Grigory K.
Published: (2025)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

Rotations of Gödel algebras with modal operators
by: Flaminio, Tommaso, et al.
Published: (2024)

On the minimization k-valued logic functions in the class of disjunctive normal forms
by: Kabulov, Anvar, et al.
Published: (2024)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)