scientific article; zbMATH DE number 475243
From MaRDI portal
Publication:4273484
zbMath0793.03076MaRDI QIDQ4273484
Publication date: 13 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)
Related Items (14)
Algebraic Characterization of the Local Craig Interpolation Property ⋮ On propositional definability ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Failure of interpolation in combined modal logics ⋮ Definability and interpolation in non-classical logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Modal languages and bounded fragments of predicate logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Intuitionistic logic and implicit definability ⋮ Lambek calculus and its relational semantics: Completeness and incompleteness
This page was built for publication:
