Image de couverture de livre

Interpolation in Non-Classical Logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Fussner, Wesley
Format:	Preprint
Publié:	2025
Sujets:	Logic Logic in Computer Science 03C40 (Primary), 03B22 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Revisiting Interpolation in Relevant Logics
par: Fussner, Wesley, et autres
Publié: (2025)

Maehara Interpolation in Extensions of R-mingle
par: Fussner, Wesley, et autres
Publié: (2025)

Interpolation and the Exchange Rule
par: Fussner, Wesley, et autres
Publié: (2023)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Interpolation above S4
par: Santschi, Simon, et autres
Publié: (2026)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

From Interpolating Formulas to Separating Languages and Back Again
par: Kurucz, Agi, et autres
Publié: (2025)

A non-uniform view of Craig interpolation in modal logics with linear frames
par: Kurucz, Agi, et autres
Publié: (2023)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
par: Kuijer, Louwe, et autres
Publié: (2025)

Interpolation in Hájek's Basic Logic
par: Fussner, Wesley, et autres
Publié: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

Algebraic Proof Theory for Infinitary Action Logic
par: Fussner, Wesley, et autres
Publié: (2025)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

On Quantifiers for Quantitative Reasoning
par: Capucci, Matteo
Publié: (2024)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
par: Harrison-Trainor, Matthew, et autres
Publié: (2022)

Interpolation in Classical Propositional Logic
par: Koopmann, Patrick, et autres
Publié: (2025)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
par: Ayhan, Sara
Publié: (2023)

Adding an Implication to Logics of Perfect Paradefinite Algebras
par: Greati, Vitor, et autres
Publié: (2023)

Proof-theoretic methods in quantifier-free definability
par: Kocsis, Zoltan A.
Publié: (2023)

Rule-Elimination Theorems
par: Roy, Sayantan
Publié: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
par: Cerda, Rémy, et autres
Publié: (2022)

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

Implicative models of set theory
par: Maschio, Samuele, et autres
Publié: (2023)

Examples and counterexamples of injective types
par: de Jong, Tom, et autres
Publié: (2026)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

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

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

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

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
par: Lau, Desmond
Publié: (2024)

Marginalia to a Theorem of Asperó and Schindler
par: Kasum, Obrad, et autres
Publié: (2023)

Universality properties of forcing
par: Parente, Francesco, et autres
Publié: (2023)

Possibility Frames and Forcing for Modal Logic
par: Holliday, Wesley H.
Publié: (2025)

Logics of polyhedral reachability
par: Bezhanishvili, Nick, et autres
Publié: (2024)

Notes on ultrafilter extensions of almost bounded structures
par: Molnár, Zalán
Publié: (2025)

The calculus of names -- The legacy of Jan Łukasiewicz
par: Pietruszczak, Andrzej
Publié: (2023)

On the theory of exponential integer parts
par: Jeřábek, Emil
Publié: (2024)

Uniform Interpolation
par: van Gool, Sam
Publié: (2025)