scientific article; zbMATH DE number 3625380
From MaRDI portal
Publication:4187817
zbMath0403.03047MaRDI QIDQ4187817
Publication date: 1977
Full work available at URL: https://eudml.org/doc/186991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Amalgamable Varieties of Pseudoboolean AlgebrasCraig's Interpolation TheoremDecision- ProblemImplicative LatticesSuperintuitionistic Logics
Related Items (41)
Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic ⋮ Uniform interpolation and compact congruences ⋮ Modularity results for interpolation, amalgamation and superamalgamation ⋮ Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ Amalgamation property for the class of basic algebras and some of its natural subclasses ⋮ Model completions and r-Heyting categories ⋮ On transitivity of strict preference relations ⋮ Residuated expansions of lattice-ordered structures ⋮ Joint consistency in extensions of the minimal logic ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ The projective Beth property in well-composed logics ⋮ Structure theorems for idempotent residuated lattices ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Interpolation properties of superintuitionistic logics ⋮ On some classes of Heyting algebras with successor that have the amalgamation property ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic ⋮ Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras ⋮ Interpolation theorems in modal logics. Sufficient conditions ⋮ Uniform interpolation and sequent calculi in modal logic ⋮ Interpolation property for extensions of intuitionistic provability logic ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Topologies for matter-energetical lattice representations of systems ⋮ Gödel algebras: interactive dualities and their applications. ⋮ Uniform interpolation and coherence ⋮ Amalgamation and interpolation in ordered algebras. ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Computing coproducts of finitely presented Gödel algebras ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Interpolation in non-classical logics ⋮ Undecidable properties of extensions of the logic of provability ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach ⋮ Varieties of logical matrices ⋮ Uniform interpolation and the existence of sequent calculi ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Intuitionistic logic and implicit definability ⋮ Logical matrices and the amalgamation property ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
This page was built for publication:
