Pages that link to "Item:Q1332147"
From MaRDI portal
The following pages link to Self-reference and incompleteness in a non-monotonic setting (Q1332147):
Displaying 9 items.
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion (Q662344) (← links)
- Program self-reference in constructive Scott subdomains (Q693046) (← links)
- The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137) (← links)
- Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops (Q1923109) (← links)
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles (Q2747704) (← links)
- Heterologicality and imcompleteness (Q2776814) (← links)
- Self-reference and the Languages of Arithmetic (Q3592241) (← links)
- Infinitary self-reference in learning theory (Q4290127) (← links)
- A Demonstration of the Incompleteness of Calculi of Inductive Inference (Q5210651) (← links)