The following pages link to (Q4249028):
Displaying 50 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Leibniz interpolation properties (Q393904) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Amalgamation, interpolation and epimorphisms in algebraic logic (Q873743) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Interpolation and the Robinson property for logics not closed under the Boolean operations (Q1074573) (← links)
- A simple algebraic proof of the equational interpolation theorem (Q1173754) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems (Q1327488) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- Interpolation and amalgamation; pushing the limits. I (Q1580645) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Interpolation, amalgamation and combination (the non-disjoint signatures case) (Q1687566) (← links)
- On the interpolation property of some intuitionistic modal logics (Q1913298) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- On prevarieties of logic (Q2324841) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Interpolation via translations (Q3184216) (← links)
- (Q3534922) (← links)
- (Q3629041) (← links)
- (Q4535078) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- A Mathematical Life (Q4586411) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- Bounded distributive lattices with strict implication (Q4680368) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
- Interpolation in linear logic and related systems (Q6636617) (← links)
