scientific article; zbMATH DE number 7668113

MaRDI QIDQ5884962

Wesley H. Holliday

Publication date: 24 March 2023

Full work available at URL: https://arxiv.org/abs/2201.07098

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

zbMATH Keywords

modal logicHeyting algebrasBoolean algebraslatticesintuitionistic logicnegationrepresentation theoremsortholatticesorthologicpossibility semanticsgraph-based frames

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: