scientific article
From MaRDI portal
Publication:3240238
zbMath0075.00701MaRDI QIDQ3240238
Publication date: 1956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)
Related Items
On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ On Automorphisms of Polyadic Algebras ⋮ Elementary Classes Closed Under Descending Intersection ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Joint consistency in extensions of the minimal logic ⋮ Interpolation and definability over the logic Gl ⋮ Failure of interpolation in relevant logics ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ Extending Congruence Relations ⋮ Beth definability, interpolation and language splitting ⋮ Abraham Robinson, 1918-1974 ⋮ Models of complete theories ⋮ Definability and interpolation in non-classical logics ⋮ Abraham Robinson 1918-1974 ⋮ Limit Ultrapowers ⋮ The road to two theorems of logic ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Amalgamation, congruence-extension, and interpolation properties in algebras ⋮ Definibility in normal theories ⋮ Generalised graded interpolation
