A 4-valued framework encompassing intuitionistic and classical logic

DOI10.1080/11663081.2014.911533zbMath1398.03110OpenAlexW2094954900MaRDI QIDQ4583348

Tin Perkov

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2014.911533

zbMATH Keywords

Kripke semanticsintuitionistic logic4-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Intuitionistic sequent calculi for finitely many-valued logics
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Combining many-valued and intuitionistic tableaux
• Sequents in many valued logic II
• On notation for ordinal numbers

This page was built for publication: A 4-valued framework encompassing intuitionistic and classical logic