scientific article; zbMATH DE number 1302498
From MaRDI portal
Publication:4249028
zbMATH Open0927.03086MaRDI QIDQ4249028FDOQ4249028
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
(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 no real title available?)
- 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 no real title available?)
- Title not available (Why is no real title available?)
- 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 no real title available?)
- 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 no real title available?)
- 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)
