Buchumschlag

Capturing dual team properties with inclusion atoms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Häggblom, Matilda
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03B60
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Expressibility and inexpressibility in propositional team logics
von: Häggblom, Matilda, et al.
Veröffentlicht: (2025)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatizing modal inclusion logic and its variants
von: Anttila, Aleksi, et al.
Veröffentlicht: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Possible and impossible conditionals for team logics
von: Barbero, Fausto, et al.
Veröffentlicht: (2026)

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

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

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

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

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

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
von: Krawczyk, Krzysztof A.
Veröffentlicht: (2024)

The amalgamation property and Urysohn structures in continuous logic
von: Gao, Su, et al.
Veröffentlicht: (2023)

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

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

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

Topological semantics for a non-self-extensional LFI
von: Jain, Esha, et al.
Veröffentlicht: (2025)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
von: Nishimura, Yuki
Veröffentlicht: (2022)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

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)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
von: Ayhan, Sara
Veröffentlicht: (2023)

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

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

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

Compactness in Team Semantics
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2022)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
von: Citkin, Alex, et al.
Veröffentlicht: (2025)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
von: Hartonas, Chrysafis
Veröffentlicht: (2023)

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

C-minimal fields have the exchange property
von: Johnson, Will
Veröffentlicht: (2024)

On the structure of Bochvar algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2023)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
von: Zantedeschi, Daniel
Veröffentlicht: (2026)

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)

Reasoning Around Paradox with Grounded Deduction
von: Ford, Bryan
Veröffentlicht: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
von: Moncayo, Jose, et al.
Veröffentlicht: (2024)

Encoding Sequences in Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2024)