Image de couverture de livre

The interdefinability of expansions of Belnap-Dunn logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Middelburg, C. A.
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Logic 03B50 (Primary) 03B53 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

A taxonomy for controlling (in)consistency
par: Coniglio, Marcelo E., et autres
Publié: (2026)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

A non-uniform view of Craig interpolation in modal logics with linear frames
par: Kurucz, Agi, et autres
Publié: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

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

Proof-theoretic methods in quantifier-free definability
par: Kocsis, Zoltan A.
Publié: (2023)

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

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

Topological semantics for a non-self-extensional LFI
par: Jain, Esha, et autres
Publié: (2025)

Examples and counterexamples of injective types
par: de Jong, Tom, et autres
Publié: (2026)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

Swap Kripke models for deontic LFIs
par: Vaz, Mahan, et autres
Publié: (2025)

Interpolation above S4
par: Santschi, Simon, et autres
Publié: (2026)

On logical parameterizations and functional representability in local set theories
par: Hernández, Enrique Ruiz, et autres
Publié: (2021)

On Quantifiers for Quantitative Reasoning
par: Capucci, Matteo
Publié: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Interpolation in Non-Classical Logics
par: Fussner, Wesley
Publié: (2025)

Multiplicative logic in arithmetic
par: Zhuravlov, Volodymyr
Publié: (2024)

Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Apartness relations between propositions
par: Kocsis, Zoltan A.
Publié: (2022)

Adding an Implication to Logics of Perfect Paradefinite Algebras
par: Greati, Vitor, et autres
Publié: (2023)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

Maehara Interpolation in Extensions of R-mingle
par: Fussner, Wesley, et autres
Publié: (2025)

Revisiting Interpolation in Relevant Logics
par: Fussner, Wesley, et autres
Publié: (2025)

On three-valued presentations of classical logic
par: da Ré, Bruno, et autres
Publié: (2023)

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

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

On the minimization k-valued logic functions in the class of disjunctive normal forms
par: Kabulov, Anvar, et autres
Publié: (2024)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
par: Coniglio, Marcelo E., et autres
Publié: (2024)

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

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

Rule-Elimination Theorems
par: Roy, Sayantan
Publié: (2024)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)