scientific article; zbMATH DE number 1302498
From MaRDI portal
Publication:4249028
zbMATH Open0927.03086MaRDI QIDQ4249028FDOQ4249028
Authors: Janusz Czelakowski, Don Pigozzi 
Publication date: 16 June 1999
Title of this publication is not available (Why is that?)
Recommendations
- Amalgamation, interpolation and epimorphisms in algebraic logic
- 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
- scientific article; zbMATH DE number 5557947
- scientific article; zbMATH DE number 4108760
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
interpolationdeductive systemsamalgamationabstract algebraic logicmatrix semanticscongruence extension propertyjoint consistencymodel extensions
Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) Axiomatic model classes (08C10)
Cited In (59)
- Transfer theorems for finitely subdirectly irreducible algebras
- Interpolation in linear logic and related systems
- Amalgamation and Robinson property in universal algebraic logic
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Leibniz interpolation properties
- Epimorphisms in varieties of residuated structures
- Logical matrices and the amalgamation property
- 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
- On weak and strong interpolation in algebraic logics
- Idempotent residuated structures: Some category equivalences and their applications
- Fibered universal algebra for first-order logics
- Uniform interpolation and compact congruences
- Algebraic characterization of the local Craig interpolation property
- A mathematical life
- Title not available (Why is that?)
- Title not available (Why is that?)
- A short overview of hidden logic
- A coalgebraic perspective on logical interpretations
- Craig interpolation in the presence of unreliable connectives
- Title not available (Why is that?)
- Interpolation properties in the extensions of the logic of inequality
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Interpolation and amalgamation in modal cylindric algebras
- Amalgamation Theorems in Algebraic Logic, an overview
- 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
- Amalgamation, interpolation and epimorphisms in algebraic logic
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- Behavioral algebraization of logics
- Modularity results for interpolation, amalgamation and superamalgamation
- The Craig interpolation theorem in abstract model theory
- 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
- Interpolation, amalgamation and combination (the non-disjoint signatures case)
- 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
- Title not available (Why is that?)
- First-order interpolation derived from propositional interpolation
- The Beth property in algebraic logic
- A framework for maximality and interpolation in abstract logics with and without negation
- 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
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)
