scientific article; zbMATH DE number 1765820

zbMath1002.03011MaRDI QIDQ4539745

Sergio Arturo Celani

Publication date: 10 July 2002

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

zbMATH Keywords

interpolationdualitysubdirectly irreducible algebrasrelational structuresintuitionistic modal logicsintuitionistic logic with a weak negative modal operatorvariety of Heyting algebras with a negation operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: