lógica intermediaria
Sign in to saveAlso known as superintuitionistic logic
propositional logic extending intuitionistic logic
Wikidata facts
- Instance of
- propositional calculus
- Subclass of
- mathematical logic
- Based on
- intuitionistic logic
via Wikidata · CC0