Self-reference and incompleteness in a non-monotonic setting
From MaRDI portal
Publication:1332147
DOI10.1007/BF01048689zbMath0811.03003MaRDI QIDQ1332147
Publication date: 1994
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
00A30: Philosophy of mathematics
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
03B25: Decidability of theories and sets of sentences
03F30: First-order arithmetic and fragments
Cites Work