lógica intermediária
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
Article · Português
Na lógica matemática, a lógica superintuicionista é a lógica proposicional estendendo a lógica intuicionista. Lógica clássica é a lógica superintuicionista consistente mais forte; assim, a lógica superintuicionista consistente é chamada de lógica intermediária (a lógica é intermediária entre lógica intuicionista e a lógica clássica).
Abstract from DBpedia / Wikipedia · CC BY-SA