Publication:3743301
From MaRDI portal
zbMath0605.03006MaRDI QIDQ3743301
No author found.
Publication date: 1985
Related Items
Frontal operators in weak Heyting algebras, Irreflexive modality, the Dummett logic, and continual chains, Compatible operations on residuated lattices, On some compatible operations on Heyting algebras, On the free frontal implicative semilattice extension of a frontal Hilbert algebra, Interpolation property for extensions of intuitionistic provability logic, Implicit connectives of algebraizable logics, On some classes of Heyting algebras with successor that have the amalgamation property, On prelinear Hilbert algebras with successor, Compatible operations on commutative weak residuated lattices, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, Frontal operators in distributive lattices with a generalized implication