scientific article; zbMATH DE number 3609636
From MaRDI portal
Publication:4175531
zbMath0393.03013MaRDI QIDQ4175531
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decision ProblemAmalgamable VarietiesFinitely Axiomatizable Super-Intuitionistic LogicsPositive Logics
Related Items (18)
Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Interpolation property for bicartesian closed categories ⋮ Generalized interpolation in CASL ⋮ Equilibrium logic ⋮ Stable reasoning ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Complexity of some problems in positive and related calculi ⋮ Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras ⋮ Craig's interpolation property in pretabular logics ⋮ Interpolation theorems in modal logics. Sufficient conditions ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ Algebraization of quantifier logics, an introductory overview ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Amalgamation and interpolation in the category of Heyting algebras ⋮ On a generalized modularization theorem
This page was built for publication:
