MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY (Q5221294)
From MaRDI portal
scientific article; zbMATH DE number 7181947
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY |
scientific article; zbMATH DE number 7181947 |
Statements
MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY (English)
0 references
25 March 2020
0 references
computational metaphysics
0 references
abstract object theory
0 references
shallow semantical embedding
0 references
higher-order logic
0 references
theorem proving
0 references
universal reasoning
0 references
