✦ LIBER ✦

Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)]

✍ Scribed by Eduardo J. Dubuc

Book ID: 116231757
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 134 KB
Volume: 163
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.03.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Erratum to “State-morphism MV-algebras”

Erratum to “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161 (2009) 161–173]

✍ A. Di Nola; A. Dvurečenskij; A. Lettieri 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Erratum to “Saturated models of universa

Erratum to “Saturated models of universal theories”: [Ann. Pure Appl. Logic 118 (2002) 219–234]

✍ Jeremy Avigad 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 26 KB

Due to an error in typesetting, the phrase 'propositional logic' has been changed to 'prepositional logic' in Section 2 (p. 221 and 222). In the proof of Lemma 6.1, the phrase 'propositional proof' has erroneously been changed to 'prepositional proof ' (p. 232). The publisher apologises for any in

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