Copertina

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Coniglio, Marcelo E., Roberto, Kaique, Golzio, Ana Claudia
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03B53, 03B20, 03G10, 18B99
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

On Many-logic modal structures and information-based logics
di: Martins, Manuel, et al.
Pubblicazione: (2026)

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

Generalized explosion principles
di: Basu, Sankha S., et al.
Pubblicazione: (2023)

First-order friendliness
di: Badia, Guillermo, et al.
Pubblicazione: (2022)

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

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

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

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

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

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

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
di: Inoué, Takao, et al.
Pubblicazione: (2024)

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

The Logic of Correct Models
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2024)

The Countable Reals
di: Bauer, Andrej, et al.
Pubblicazione: (2024)

A Self-Reflecting Formal Language
di: Patrakeev, Mikhail
Pubblicazione: (2023)

First-Order Implication-Space Semantics
di: Hlobil, Ulf
Pubblicazione: (2026)

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

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

Towards a logic of affordances
di: Gruszczynski, Rafal, et al.
Pubblicazione: (2025)

Dismantling the Surprise Test "Paradox"
di: Dietzfelbinger, Martin
Pubblicazione: (2026)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

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

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

Hybrid logic for strict betweenness
di: Gruszczyński, Rafał, et al.
Pubblicazione: (2024)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

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

The amalgamation property and Urysohn structures in continuous logic
di: Gao, Su, et al.
Pubblicazione: (2023)

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

A Note About Models of Synthetic Algebraic Geometry
di: Coquand, Thierry, et al.
Pubblicazione: (2025)

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

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

A minimalist two-level foundation for constructive mathematics
di: Maietti, Maria Emilia
Pubblicazione: (2008)