Cover Image

The most natural paradefinite logic relative to classical logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Middelburg, C. A.
Format:	Preprint
Published:	2026
Subjects:	Logic Logic in Computer Science 03B50 (Primary) 03B05, 03B53 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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

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

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)

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

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

A taxonomy for controlling (in)consistency
by: Coniglio, Marcelo E., et al.
Published: (2026)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

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

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

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

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

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

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

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

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

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

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

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

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

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)