Buchumschlag

Interpolation in Hájek's Basic Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fussner, Wesley, Santschi, Simon
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Rings and Algebras 03G25, 03B47, 03C40, 06F05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Interpolation and the Exchange Rule
von: Fussner, Wesley, et al.
Veröffentlicht: (2023)

Residuated lattices do not have the amalgamation property
von: Jipsen, Peter, et al.
Veröffentlicht: (2025)

Amalgamation in Semilinear Residuated Lattices
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

Maehara Interpolation in Extensions of R-mingle
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Revisiting Interpolation in Relevant Logics
von: Fussner, Wesley, et al.
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)

Axiomatizing small varieties of periodic l-pregroups
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Interpolation in Non-Classical Logics
von: Fussner, Wesley
Veröffentlicht: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

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

Interpolation above S4
von: Santschi, Simon, et al.
Veröffentlicht: (2026)

On a Theorem by Bezboruah & Shepherdson
von: Visser, Albert
Veröffentlicht: (2026)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Decidability for the theory of modules over a Prüfer domain
von: Gregory, Lorna
Veröffentlicht: (2021)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
von: Sato, Yuta
Veröffentlicht: (2025)

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

Varieties defined by linear equations have the amalgamation property
von: Lipparini, Paolo
Veröffentlicht: (2021)

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

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

On the equational theory of finite modular lattices
von: Herrmann, Christian
Veröffentlicht: (2024)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Ivanova contact join-semilattices are not finitely axiomatizable
von: Lipparini, Paolo
Veröffentlicht: (2023)

The fork and its role in unification of closure algebras
von: Düntsch, Ivo, et al.
Veröffentlicht: (2023)

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

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

Coherence for logicians
von: Petric, Zoran, et al.
Veröffentlicht: (2024)

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

Adding an Implication to Logics of Perfect Paradefinite Algebras
von: Greati, Vitor, et al.
Veröffentlicht: (2023)

Commuting degree for BCK-algebras
von: Evans, C. Matthew
Veröffentlicht: (2025)

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

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

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

Logic families
von: Andréka, H., et al.
Veröffentlicht: (2023)