JAIST Repository >
先端融合領域研究院 2007~2016 >
z4-10. 学術雑誌論文等 >
z4-10-2. 図書 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/10903

タイトル: Chapter VII: Gödel-Dummett Logic
著者: Baaz, Matthias
Preining, Norbert
キーワード: fuyyz logic
Gödel logic
intermediate logic
発行日: 2011-12-21
出版者: College Publications
誌名: Handbook of Mathematical Fuzzy Logic
巻: 2
開始ページ: 585
終了ページ: 626
抄録: The logics we present in this chapter, Gödel logics, can be characterized in a rough-and-ready way as follows: The language is a standard (propositional, quantified propositional, first-order) language. The logics are many-valued, and the sets of truth values considered are (closed) subsets of [0, 1] which contain both 0 and 1. 1 is the ‘designated value,’ i.e., a formula is valid if it receives the value 1 in every interpretation. The truth functions of conjunction and disjunction are minimum and maximum, respectively, and in the first-order case quantifiers are defined by infimum and supremum over subsets of the set of truth values. The characteristic operator of Gödel logics, the Gödel conditional, is defined by a → b = 1 if a <= b and = b if a > b. Because the truth values are ordered (indeed, in many cases, densely ordered), the semantics of Gödel logics is suitable for formalizing comparisons. It is related in this respect to a more widely known many-valued logic, Łukasiewicz (or ‘fuzzy’) logic (see Chapter V– although the truth function of the Łukasiewicz conditional is defined not just using comparison, but also addition. In contrast to Łukasiewicz logic, which might be considered a logic of absolute or metric comparison, Gödel logics are logics of relative comparison. There are other reasons why the study of Gödel logics is important. As noted, Gödel logics are related to other many-valued logics of recognized importance. Indeed, Gödel logic is one of the three basic t-norm based logics which have received increasing attention in the last 15 or so years (the others are Łukasiewicz and product logic; see[27]). Yet Gödel logic is also closely related to intuitionistic logic: it is the logic of linearly-ordered Heyting algebras. In the propositional case, infinite-valued Gödel logic can be axiomatized by the intuitionistic propositional calculus extended by the axiom schema (A → B) ∨ (B → A). This connection extends also to Kripke semantics for intuitionistic logic: Gödel logics can also be characterized as logics of (classes of) linearly ordered and countable intuitionistic Kripke structures with constant domains [19]. Furthermore, the infinitely valued propositional Gödel logic can be embedded into the box fragment of LTL in the same way as intuitionistic propositional logic can be embedded into S4.
Rights: Copyright (C) 2011 College Publications. Matthias Baaz, Norbert Preining, "Chapter VII: Gödel-Dummett Logic", Handbook of Mathematical Fuzzy Logic, Volume 2, 2011, pp.585-626. This material is posted here with permission of the College Publications.
URI: http://hdl.handle.net/10119/10903
資料タイプ: publisher
出現コレクション:z4-10-2. 図書 (Book, Book Chapter)


ファイル 記述 サイズ形式
18848.pdf499KbAdobe PDF見る/開く



お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係