logicSystem
P4930
predicate
Indicates a relationship where an entity is associated with, defined within, or governed by a particular logical framework or system of formal reasoning.
Aliases (2)
- hasAxiomSystem ×5
- logicalFramework ×2
Sample triples (8)
| Subject | Object |
|---|---|
| Frege’s system in "Grundgesetze der Arithmetik" | axiomatic calculus for functions and objects ("logicalFramework") → |
| Principia Mathematica | ramified theory of types → |
| Zermelo–Fraenkel set theory | first-order logic ("logicalFramework") → |
| set theory | Kripke–Platek set theory ("hasAxiomSystem") → |
| set theory | Zermelo–Fraenkel set theory ("hasAxiomSystem") → |
| set theory | Zermelo–Fraenkel set theory with Choice ("hasAxiomSystem") → |
| set theory | naive set theory ("hasAxiomSystem") → |
| set theory | von Neumann–Bernays–Gödel set theory ("hasAxiomSystem") → |