scientific article; zbMATH DE number 3609636
From MaRDI portal
Publication:4175531
Cited in
(19)- Amalgamation and interpolation in the category of Heyting algebras
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- Interpolation theorems in modal logics. Sufficient conditions
- Algebraization of quantifier logics, an introductory overview
- Interpolation property for bicartesian closed categories
- Complexity of some problems in positive and related calculi
- On a generalized modularization theorem
- Extensions of the minimal logic and the interpolation problem
- A category equivalence for odd Sugihara monoids and its applications
- The interpolation problem in finite-layered pre-Heyting logics
- Epimorphisms in varieties of subidempotent residuated structures
- Stable reasoning
- On interpolation problem in paraconsistent extensions of the minimal logic
- Interpolation over the minimal logic and Odintsov intervals
- Craig's interpolation property in pretabular logics
- Pretabularity and Craig's interpolation problem over the minimal logic
- Generalized interpolation in CASL
- Equilibrium logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4175531)
