The following pages link to (Q4249028):
Displaying 34 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)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← 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)
- 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)
