Image de couverture de livre

A classical-logic view on a paraconsistent logic

Fuente: arXiv

Enregistré dans:

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

Documents similaires

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

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
par: Coniglio, Marcelo E., et autres
Publié: (2025)

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

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

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

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

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

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)

Normal forms and representable functions in Moisil logic
par: Sipos, Andrei
Publié: (2023)

Models for the common knowledge logic
par: Tanaka, Yoshihito
Publié: (2024)

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

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

On the structure of Bochvar algebras
par: Bonzio, Stefano, et autres
Publié: (2023)

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

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

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
par: Baldwin, John T., et autres
Publié: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
par: Baldwin, John T., et autres
Publié: (2026)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

Towards a logic of affordances
par: Gruszczynski, Rafal, et autres
Publié: (2025)

Generalized explosion principles
par: Basu, Sankha S., et autres
Publié: (2023)