Uniform interpolation and coherence
From MaRDI portal
Publication:1740631
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
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
