Rule-Elimination Theorems
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)
by: Basu, Sankha S., et al.
Published: (2023)
Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)
by: Bahl, Rohan
Published: (2024)
Abstract Model Structures and Compactness Theorems
by: Roy, Sayantan, et al.
Published: (2025)
by: Roy, Sayantan, et al.
Published: (2025)
Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)
by: Basu, Sankha S., et al.
Published: (2025)
Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)
by: Fussner, Wesley
Published: (2025)
A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)
by: Fowler, Michael
Published: (2026)
Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)
by: Fussner, Wesley, et al.
Published: (2023)
Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)
by: Kocsis, Zoltan A.
Published: (2023)
On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)
by: van der Giessen, Iris, et al.
Published: (2025)
A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)
by: Middelburg, C. A.
Published: (2020)
State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)
by: Aloni, Maria, et al.
Published: (2023)
The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)
by: Middelburg, C. A.
Published: (2026)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)
by: Ayhan, Sara
Published: (2023)
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)
by: Gallardo, Andrés, et al.
Published: (2024)
The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)
by: Middelburg, C. A.
Published: (2024)
Natural Term Logic
by: Protin, Clarence
Published: (2024)
by: Protin, Clarence
Published: (2024)
Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)
by: Pacheco, Leonardo
Published: (2023)
ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)
by: Blomet, Quentin, et al.
Published: (2024)
LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)
by: Goodsell, Zachary, et al.
Published: (2024)
On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)
by: da Ré, Bruno, et al.
Published: (2023)
Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)
by: Oddsson, Hrafn Valtýr
Published: (2026)
Iterated jump noncomputability and compactness
by: Dooley, Gavin
Published: (2025)
by: Dooley, Gavin
Published: (2025)
Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)
by: Molnár, Zalán
Published: (2025)
On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)
by: Bonzio, Stefano, et al.
Published: (2023)
Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)
by: Ya'ar, Ur
Published: (2022)
Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)
by: Oddsson, Hrafn Valtýr
Published: (2026)
Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)
by: Fazio, Davide, et al.
Published: (2022)
Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)
by: Greati, Vitor, et al.
Published: (2023)
Reasoning from hypotheses in *-continuous action lattices
by: Kuznetsov, Stepan L., et al.
Published: (2024)
by: Kuznetsov, Stepan L., et al.
Published: (2024)
On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)
by: Capucci, Matteo
Published: (2024)
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)
by: Wolter, Frank, et al.
Published: (2024)
A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)
by: Kurucz, Agi, et al.
Published: (2023)
A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)
by: Jeřábek, Emil
Published: (2023)