scientific article; zbMATH DE number 1302498

zbMATH Open0927.03086MaRDI QIDQ4249028FDOQ4249028

Janusz Czelakowski, Don Pigozzi

Publication date: 16 June 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

interpolationdeductive systemsamalgamationabstract algebraic logicmatrix semanticscongruence extension propertyjoint consistencymodel extensions

Mathematics Subject Classification ID

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

Cited In (46)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Amalgamation, interpolation and epimorphisms in algebraic logic 👍 👎
• Amalgamation in universal algebraic logic 👍 👎
• On amalgamation in algebras of logic 👍 👎
• Some Results on Amalgamation in Algebraic Logic 👍 👎
• Amalgamation and interpolation in normal modal logics 👍 👎
• Amalgamation Theorems in Algebraic Logic, an overview 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249028)