The following pages link to (Q4187817):
Displayed 41 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- Interpolation property for extensions of intuitionistic provability logic (Q922543) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- Topologies for matter-energetical lattice representations of systems (Q1179100) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- On transitivity of strict preference relations (Q1914428) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Computing coproducts of finitely presented Gödel algebras (Q2503401) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
- On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)