Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03643194n
Noun Named Entity
Categories: Propositional calculus, Non-classical logic, Systems of formal logic
EN
intermediate logic  Gödel-Dummett logic  Gödel–Dummett logic  intermediate logics  Kreisel-Putnam logic
EN
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Wikipedia
IS A
symbolic logic
Wikipedia
EN
intermediate logic
Wikidata
EN
Intermediate logic
Wikipedia Redirections
EN
Gödel-Dummett logic, Gödel–Dummett logic, intermediate logics, Kreisel-Putnam logic, Kreisel–Putnam logic, superintuitionistic logic

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License