intermediate logic
Sign in to saveAlso known as superintuitionistic logic
propositional logic extending intuitionistic logic
Connections
three-state logic
Entity
Kripke semantics
Entity
International Standard Book Number
Entity
Kurt Gödel
Entity
digital object identifier
Entity
mathematical logic
Entity
subset
Entity
JSTOR
Organization
Oxford University Press
Entity
propositional calculus
Entity
Augustus De Morgan
Entity
Alfred Tarski
Entity
De Morgan's laws
Entity
fuzzy logic
Entity
Hilary Putnam
Entity
finite set
Entity
VHDL
Entity
modal logic
Entity
principle of excluded middle
Entity
Q22908627
Entity