Errata in the Handbook of Mathematical Fuzzy Logic

From Mathfuzzlog
Revision as of 09:38, 2 September 2014 by LBehounek (talk | contribs) (Chapter I: +erratum: consistency over IMTL still unknown)

Jump to: navigation, search

Volume 1

Chapter I

  • Page 52, the axiom (SFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle _n} ) should read: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \neg(\varphi^{n-1})\vee\varphi}
  • Page 92, lines 15–16: the claim of the consistency of naive comprehension over IMTL was in fact a conjecture (which is still unresolved by 2014)

Chapter II

  • Page 106, third line after Definition 2.1.2: "lower-case" should be "lower case".
  • Page 115, Proposition 2.2.11: "Let L be a weakly implicative logic L" should be "Let L be a weakly implicative logic in language Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \cal{L}} ".
  • Page 116, first line after Definition 2.3.1: "Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \langle \bf{A},F\rangle\in \mathbf{MOD}(L)} " should be "an Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \cal{L}} -algebra Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle {\bf \it A}} ".
  • Page 117, Definition 2.3.5: In the first item there should be 'coarsest' instead of 'finest'.
  • Page 124, Proof of Proposition 2.4.7: The last sentence of the proof "The fact that the set..." should be placed at the beginning of the proof.
  • Page 130, Theorem 2.5.7: For SLe, the second and the third formula should have Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \psi} instead of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \chi} .
  • Page 144, Definition 2.7.6: It should be "lattice-disjunctive" with hyphen.
  • Page 145, Example 2.7.11: In the sixth line, L in the subindex should be IPC.
  • Page 162, Corollary 3.2.5: L_1 should be assumed to be finitary.
  • Page 168, Theorem 3.3.8: It should be "Let L be a finitary semilinear finitely disjunctional logic".
  • Page 169, Theorem 3.3.13: It should be "Let L be a finitary semilinear finitely disjunctional logic".
  • Page 177, Convention 4.0.1: In the second item Nabla must be assumed to be a finite protodisjunction, without parameters.
  • Page 181, Example 4.1.18: The example is wrong (the lattice is not distributive). A correct one can be found in page 404 of

A. Horn. Logic with truth values in a linearly ordered Heyting algebras. Journal of Symbolic Logic, 34(3):395–408, 1969.

  • Page 197, line 5: Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle c} should be Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle c_\mu} .
  • Page 198, Theorem 4.5.7: For the implication from 2 to 1 one should add the extra hypothesis that the class of L-chains admits regular completions, i.e. every L-chain can be embedded into a completely ordered L-chain preserving all existing suprema and infima. This ensures that the model obtained in the proof can be taken safe (if it was not, one would embed it into another over a completely ordered chain).
  • Page 198, proof of Theorem 4.5.7: All occurrences of CMFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle '_T} should be CMFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle _{T'}} .

Volume 2

Chapter XI

  • Page 899: Fact 5.1.1 points to a wrong reference. The correct reference is Lemma 3 of Petr Hájek, Making fuzzy description logic more general, Fuzzy Sets and Systems 154(1), 1-15, 2005.