scientific article

zbMath0605.03006MaRDI QIDQ3743301

No author found.

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicmodalityintuitionistic logicintuitionism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intuitionistic mathematics (03F55)

Related Items

Frontal operators in distributive lattices with a generalized implication, On some classes of Heyting algebras with successor that have the amalgamation property, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, Frontal operators in weak Heyting algebras, Interpolation property for extensions of intuitionistic provability logic, Implicit connectives of algebraizable logics, Irreflexive modality, the Dummett logic, and continual chains, On prelinear Hilbert algebras with successor, Compatible operations on residuated lattices, On some compatible operations on Heyting algebras, On the free frontal implicative semilattice extension of a frontal Hilbert algebra, Compatible operations on commutative weak residuated lattices