Buchumschlag

Connexive implications in Substructural Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fazio, Davide, John, Gavin St.
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic 03B47, 03B55, 03A10
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

First-Order Implication-Space Semantics
von: Hlobil, Ulf
Veröffentlicht: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

Revisiting Interpolation in Relevant Logics
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

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

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

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

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

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

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

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
von: Baldwin, John T., et al.
Veröffentlicht: (2026)

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

Sub-sub-intuitionistic logic
von: Deakin, Jonte, et al.
Veröffentlicht: (2024)

Collapsing Constructive and Intuitionistic Modal Logics
von: Pacheco, Leonardo
Veröffentlicht: (2024)

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

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

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
von: Fowler, Michael
Veröffentlicht: (2026)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
von: Lücke, Philipp
Veröffentlicht: (2024)

Aristotle's Second-Order Logic and Natural Deduction
von: Protin, Clarence
Veröffentlicht: (2023)

The modal theory of the category of sets
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

The Countable Reals
von: Bauer, Andrej, et al.
Veröffentlicht: (2024)

The prime spectrum of an $L$-algebra
von: Rump, W., et al.
Veröffentlicht: (2022)

Rule-Elimination Theorems
von: Roy, Sayantan
Veröffentlicht: (2024)

Probabilistic consequence relations
von: Égré, Paul, et al.
Veröffentlicht: (2024)

Reasoning from hypotheses in *-continuous action lattices
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Natural Term Logic
von: Protin, Clarence
Veröffentlicht: (2024)

Descriptive properties of I2-embeddings
von: Dimonte, Vincenzo, et al.
Veröffentlicht: (2023)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

LF: a Foundational Higher-Order-Logic
von: Goodsell, Zachary, et al.
Veröffentlicht: (2024)

First-order friendliness
von: Badia, Guillermo, et al.
Veröffentlicht: (2022)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

Representability for distributive quasi relation algebras via nested sums
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Representable distributive quasi relation algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2023)

More on expressibility of satisfiability in submodels and extensions
von: Poliakov, Nikolai L., et al.
Veröffentlicht: (2026)

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

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)