A square of oppositions in intuitionistic logic with strong negation

DOI10.1007/s11787-016-0144-1zbMath1403.03014OpenAlexW2320353775MaRDI QIDQ346768

François Lepage

Publication date: 30 November 2016

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-016-0144-1

zbMATH Keywords

Kripke modelsintuitionistic logicstrong negationsaturated sets

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

The Vatican square

Cites Work

• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Nelson's paraconsistent logics
• N-lattices and constructive logic with strong negation
• Constructible falsity

This page was built for publication: A square of oppositions in intuitionistic logic with strong negation