Cover Image

Generalized Explosion Principles: A Semantic Perspective

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Basu, Sankha S., Roy, Sayantan
Format:	Preprint
Published:	2025
Subjects:	Logic 03B53, 03B22, 03C95
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

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

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

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

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

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

A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)

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

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

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

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

Logic families
by: Andréka, H., et al.
Published: (2023)

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

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

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

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

A note on transfer maps and the Morley product in NIP theories
by: Gannon, Kyle
Published: (2024)

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

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)

Domination, fibrations and splitting
by: Eagles, Christine, et al.
Published: (2025)

Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

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

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
by: Boney, Will, et al.
Published: (2025)

Hierarchies of direct powers, ultrapowers and cumulative powers
by: Yago, Pedro Teixeira
Published: (2026)

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

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

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Model theory of class-sized logics
by: Osinski, Jonathan, et al.
Published: (2026)

On Some Infinitary Logics
by: Vaananen, Jouko, et al.
Published: (2024)

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

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

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Density of compressible types and some consequences
by: Bays, Martin, et al.
Published: (2021)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)