Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation

DOI10.1093/jigpal/jzac041zbMath1515.06011OpenAlexW4226324271MaRDI QIDQ6111081

Mohua Banerjee, Anuj Kumar More

Publication date: 6 July 2023

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzac041

zbMATH Keywords

Heyting algebrasintuitionistic logicminimal logiccompatibility frameskite of negationscontrapositionally complemented lattices

Mathematics Subject Classification ID

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

This page was built for publication: Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation