scientific article; zbMATH DE number 1302498

zbMath0927.03086MaRDI QIDQ4249028

Janusz Czelakowski, Don Pigozzi

Publication date: 16 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpolationabstract algebraic logiccongruence extension propertyamalgamationdeductive systemsmatrix semanticsjoint consistencymodel extensions

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Axiomatic model classes (08C10) Interpolation, preservation, definability (03C40)

Related Items (37)

Uniform interpolation and compact congruences ⋮ Modularity results for interpolation, amalgamation and superamalgamation ⋮ Interpolation via translations ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ A coalgebraic perspective on logical interpretations ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ Epimorphisms in varieties of residuated structures ⋮ Leibniz interpolation properties ⋮ A Mathematical Life ⋮ A short overview of Hidden Logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Fibered universal algebra for first-order logics ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ The algebraic significance of weak excluded middle laws ⋮ First-order interpolation derived from propositional interpolation ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ The Beth property in algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Gödel algebras: interactive dualities and their applications. ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Definability and interpolation in non-classical logics ⋮ Bounded distributive lattices with strict implication ⋮ Behavioral algebraization of logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Taking degrees of truth seriously ⋮ Epimorphisms, definability and cardinalities ⋮ On prevarieties of logic ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

This page was built for publication: