logicType
P54594
predicate
Indicates the specific kind or category of logical system, rule, or reasoning framework that an entity or statement belongs to.
All labels observed (4)
| Label | Occurrences |
|---|---|
| logicType canonical | 15 |
| usesLogic | 4 |
| logicSystemType | 2 |
| usesLogicSystem | 1 |
Sample triples (22)
| Subject | Object |
|---|---|
| EDVAC | binary ⓘ |
| Gödel's ontological proof | higher-order modal logic via predicate surface "usesLogicSystem" ⓘ |
| Temporal Logic of Actions | state-based temporal logic ⓘ |
| Temporal Logic of Actions | action-based temporal logic ⓘ |
| LambdaProlog | intuitionistic logic via predicate surface "usesLogic" ⓘ |
| LambdaProlog | higher-order hereditary Harrop formulas via predicate surface "usesLogic" ⓘ |
| LCF theorem prover | higher-order logic via predicate surface "usesLogic" ⓘ |
|
the Logic Theorist program
surface form:
Logic Theorist
|
propositional logic ⓘ |
| BINAC | serial binary arithmetic ⓘ |
| Boyer–Moore theorem prover | first-order logic ⓘ |
|
branching-time temporal logic CTL*
surface form:
CTL*
|
branching-time temporal logic ⓘ |
| MANIAC I | vacuum tube logic ⓘ |
| UNIVAC Scientific (UNIVAC 1103) | serial arithmetic ⓘ |
| ORDVAC | vacuum tube logic ⓘ |
| Cyclone II | SRAM-based FPGA ⓘ |
|
Harvard Mark IV computer
surface form:
Harvard Mark IV
|
electronic ⓘ |
| Isabelle/FOL | classical first-order logic ⓘ |
| Untersuchungen über das logische Schließen | intuitionistic logic via predicate surface "logicSystemType" NERFINISHED ⓘ |
| Untersuchungen über das logische Schließen | classical logic via predicate surface "logicSystemType" ⓘ |
|
SPASS automated theorem prover
surface form:
SPASS
|
first-order logic ⓘ |
| The Temporal Logic of Programs | linear-time temporal logic via predicate surface "usesLogic" ⓘ |
| Binary Automatic Computer | binary logic ⓘ |