Pages that link to "Item:Q2787333"
From MaRDI portal
The following pages link to On Logic Embeddings and Gödel’s God (Q2787333):
Displaying 6 items.
- GoedelGod (Q43934) (← links)
- Types, tableaus, and Gödel's God (Q1406610) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- A Note on Goddard and Routley's Significance Logic (Q3121052) (← links)
- Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem (Q3220546) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)