scientific article; zbMATH DE number 1765820
From MaRDI portal
Publication:4539745
zbMATH Open1002.03011MaRDI QIDQ4539745FDOQ4539745
Authors: Sergio A. Celani
Publication date: 10 July 2002
Title of this publication is not available (Why is that?)
Recommendations
interpolationdualitysubdirectly irreducible algebrasrelational structuresintuitionistic modal logicsintuitionistic logic with a weak negative modal operatorvariety of Heyting algebras with a negation operator
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)
Cited In (5)
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 Q4539745)