Uniform interpolation and coherence

DOI10.1016/j.apal.2019.02.004OpenAlexW2963776186MaRDI QIDQ1740631

Tomasz Kowalski, George Metcalfe

Publication date: 2 May 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.09116

zbMATH Keywords

coherencefree algebrasmodal logicsresiduated latticescanonical extensionsuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Subalgebras, congruence relations (08A30) Free algebras (08B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (7)

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability ⋮ Theorems of Alternatives for Substructural Logics ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraically complete lattices
• Uniform interpolation and propositional quantifiers in modal logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• Sentential logics and Maehara interpolation property
• Uniformity of congruences
• Model-companions and definability in existentially complete structures
• On the canonicity of Sahlqvist identities
• An algebraic theory of normal forms
• Model completions and r-Heyting categories
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Undefinability of propositional quantifiers in the modal system S4
• Amalgamation and interpolation in ordered algebras.
• Uniform interpolation and compact congruences
• Semisimple varieties of modal algebras
• Subdirect decompositions of lattices of width two
• Amalgamation, congruence-extension, and interpolation properties in algebras
• UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
• Discriminator varieties of double-Heyting algebras
• Subgroups of finitely presented groups
• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• A characterization of companionable, universal theories
• ALGORITHMIC PROBLEMS IN VARIETIES
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
• Canonical Extensions, Esakia Spaces, and Universal Models
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• Uniform Interpolation for Coalgebraic Fixpoint Logic
• Model-completions and modules
• Bounded lattice expansions

This page was built for publication: Uniform interpolation and coherence