Imagen de Portada

Topological semantics for a non-self-extensional LFI

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jain, Esha, Basu, Sankha S.
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03B53, 03B60, 03B50
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Generalized explosion principles
por: Basu, Sankha S., et al.
Publicado: (2023)

Paracomplete Probabilities
por: Basu, Sankha S., et al.
Publicado: (2025)

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

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

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

Multiplicative logic in arithmetic
por: Zhuravlov, Volodymyr
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

ST and TS as Product and Sum
por: Blomet, Quentin, et al.
Publicado: (2024)

Two strong undefinability results in inquisitive and team semantics
por: Barbero, Fausto
Publicado: (2024)

Convex Team Logics
por: Anttila, Aleksi, et al.
Publicado: (2025)

A vector logic for extensional formal semantics
por: Quigley, Daniel
Publicado: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
por: Bezhanishvili, Nick, et al.
Publicado: (2022)

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

Hierarchical formula classes with respect to semi-classical prenex normalization
por: Fujiwara, Makoto, et al.
Publicado: (2025)

Algebraizable Weak Logics
por: Nakov, Georgi, et al.
Publicado: (2022)

Abstract Model Structures and Compactness Theorems
por: Roy, Sayantan, et al.
Publicado: (2025)

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

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

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

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)

A Self-Reflecting Formal Language
por: Patrakeev, Mikhail
Publicado: (2023)

Retractors in local positive logic
por: Fanlo, Arturo Rodriguez, et al.
Publicado: (2024)

Completeness in local positive logic
por: Fanlo, Arturo Rodriguez, et al.
Publicado: (2024)

There are (other) ways to negate in propositional team semantics
por: Yang, Fan
Publicado: (2024)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
por: Contente, Michele, et al.
Publicado: (2022)