Buchumschlag

Topological semantics for a non-self-extensional LFI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jain, Esha, Basu, Sankha S.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03B53, 03B60, 03B50
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generalized explosion principles
von: Basu, Sankha S., et al.
Veröffentlicht: (2023)

Paracomplete Probabilities
von: Basu, Sankha S., et al.
Veröffentlicht: (2025)

Generalized Explosion Principles: A Semantic Perspective
von: Basu, Sankha S., et al.
Veröffentlicht: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
von: Caleiro, Carlos, et al.
Veröffentlicht: (2024)

Strong Negation is Definable in 2Int
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2025)

Multiplicative logic in arithmetic
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

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

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

A taxonomy for controlling (in)consistency
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2026)

The most natural paradefinite logic relative to classical logic
von: Middelburg, C. A.
Veröffentlicht: (2026)

The interdefinability of expansions of Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2024)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

Cardinality in a paraconsistent and paracomplete set theory
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
von: Olkhovikov, Grigory
Veröffentlicht: (2024)

On three-valued presentations of classical logic
von: da Ré, Bruno, et al.
Veröffentlicht: (2023)

On connexivity in modal and conditional contexts
von: Olkhovikov, Grigory K.
Veröffentlicht: (2025)

Swap Kripke models for deontic LFIs
von: Vaz, Mahan, et al.
Veröffentlicht: (2025)

A Basic Łukasiewicz m-valued conditional logic
von: Huo, Shuquan
Veröffentlicht: (2024)

ST and TS as Product and Sum
von: Blomet, Quentin, et al.
Veröffentlicht: (2024)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Convex Team Logics
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2022)

Adding an Implication to Logics of Perfect Paradefinite Algebras
von: Greati, Vitor, et al.
Veröffentlicht: (2023)

Hierarchical formula classes with respect to semi-classical prenex normalization
von: Fujiwara, Makoto, et al.
Veröffentlicht: (2025)

Algebraizable Weak Logics
von: Nakov, Georgi, et al.
Veröffentlicht: (2022)

Abstract Model Structures and Compactness Theorems
von: Roy, Sayantan, et al.
Veröffentlicht: (2025)

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

State-based Modal Logics for Free Choice
von: Aloni, Maria, et al.
Veröffentlicht: (2023)

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

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

A Self-Reflecting Formal Language
von: Patrakeev, Mikhail
Veröffentlicht: (2023)

Retractors in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Completeness in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
von: Contente, Michele, et al.
Veröffentlicht: (2022)