scientific article; zbMATH DE number 1302498
From MaRDI portal
Publication:4249028
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
Cited in
(65)- Leibniz interpolation properties
- Bounded distributive lattices with strict implication and weak difference
- Epimorphisms in varieties of residuated structures
- Logical matrices and the amalgamation property
- scientific article; zbMATH DE number 1754650 (Why is no real title available?)
- On prevarieties of logic
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- Amalgamation and interpolation in normal modal logics
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- Preservation of superamalgamation by expansions
- Editorial introduction
- Uniform interpolation and compact congruences
- On weak and strong interpolation in algebraic logics
- Idempotent residuated structures: Some category equivalences and their applications
- Algebraic characterization of the local Craig interpolation property
- Fibered universal algebra for first-order logics
- scientific article; zbMATH DE number 5557947 (Why is no real title available?)
- A mathematical life
- scientific article; zbMATH DE number 5363851 (Why is no real title available?)
- A coalgebraic perspective on logical interpretations
- A short overview of hidden logic
- Craig interpolation in the presence of unreliable connectives
- Interpolation properties in the extensions of the logic of inequality
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- scientific article; zbMATH DE number 3861155 (Why is no real title available?)
- Interpolation and amalgamation in modal cylindric algebras
- Taking degrees of truth seriously
- Amalgamation Theorems in Algebraic Logic, an overview
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Transfer theorems for finitely subdirectly irreducible algebras
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- Interpolation in linear logic and related systems
- Amalgamation, interpolation and epimorphisms in algebraic logic
- Behavioral algebraization of logics
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- The Craig interpolation theorem in abstract model theory
- 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
- Amalgamation and Robinson property in universal algebraic logic
- 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
- Gödel algebras: interactive dualities and their applications.
- Epimorphisms, definability and cardinalities
- Interpolation, amalgamation and combination (the non-disjoint signatures case)
- Projective Beth property in extensions of Grzegorczyk logic
- Amalgamation and interpolation in ordered algebras.
- Bounded distributive lattices with strict implication
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Definability and interpolation in non-classical logics
- Interpolation via translations
- First-order interpolation derived from propositional interpolation
- scientific article; zbMATH DE number 4010501 (Why is no real title available?)
- The Beth property in algebraic logic
- A gentle introduction to the Leibniz hierarchy
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- Congruence filter pairs, equational filter pairs and adjoints
- A framework for maximality and interpolation in abstract logics with and without negation
- Decidability of the interpolation problem and of related properties in tabular logics
- The Modelwise Interpolation Property of Semantic Logics
- Abstract algebraic logic. An introductory chapter
- Universal algebraic methods for non-classical 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)
