✦ LIBER ✦

How to give it up: A survey of some formal aspects of the logic of theory change

✍ Scribed by David Makinson

Publisher: Springer Netherlands
Year: 1986
Tongue: English
Weight: 61 KB
Volume: 68
Category: Article
ISSN: 0039-7857
DOI: 10.1007/bf00413972

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

How to give it up: A survey of some form

How to give it up: A survey of some formal aspects of the logic of theory change

✍ David Makinson 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 908 KB

Ann. Pure Appl. Logic: Erratum to “What'

Ann. Pure Appl. Logic: Erratum to “What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory” [53 (1991) 199–260]

✍ Jean H. Gallier 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 77 KB

Gopalan Nadathur has pointed out that there is a gap in the proof of Theorem 4.5, pp. 2077208. Specifically, there is a gap in the proof of the claim that 5 is a WC~~> on 9 (line 11 of p. 208). The problem is that even though tk 3 t,. the proof does not ensure that k < 11 (line 16 of p. 208). Howeve