Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:characterizedBy |
gptkb:Kripke_semantics
gptkb:Heyting_algebra |
| gptkbp:compatibleWith |
gptkb:classical_logic
|
| gptkbp:generalizes |
intuitionistic logic
|
| gptkbp:hasApplication |
gptkb:theoretical_computer_science
gptkb:logic proof theory |
| gptkbp:hasProperty |
all intuitionistic tautologies are theorems
not all classical tautologies are theorems |
| gptkbp:includes |
gptkb:Kreisel–Putnam_logic
Gödel–Dummett logic Jankov logic Logic of here-and-there Medvedev's logic |
| gptkbp:namedFor |
gptkb:Grigori_Mints
|
| gptkbp:studiedIn |
gptkb:logic
philosophy of logic |
| gptkbp:subclassOf |
gptkb:intermediate_logic
gptkb:logic |
| gptkbp:bfsParent |
gptkb:Kreisel–Putnam_logic
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
superintuitionistic logic
|