| dbo:abstract
|
- En mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique. Elle a été définie à l'origine au début du XXe siècle par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre. La version ℵ0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski. Celle-ci appartient aux classes de et de logiques sous structurelles. Cet article présente la logique de Łukasiewicz[-Tarski] dans toute sa généralité. Pour une introduction élémentaire à l'instanciation ternaire Ł3, voir logique ternaire. (fr)
- In mathematics and philosophy, Łukasiewicz logic (/ˌluːkəˈʃɛvɪtʃ/ LOO-kə-SHEV-itch, Polish: [wukaˈɕɛvitʂ]) is a non-classical, many-valued logic. It was originally defined in the early 20th century by Jan Łukasiewicz as a three-valued modal logic; it was later generalized to n-valued (for all finite n) as well as infinitely-many-valued (ℵ0-valued) variants, both propositional and first order. The ℵ0-valued version was published in 1930 by Łukasiewicz and Alfred Tarski; consequently it is sometimes called the Łukasiewicz–Tarski logic. It belongs to the classes of t-norm fuzzy logics and substructural logics. Łukasiewicz logic was motivated by Aristotle's suggestion that bivalent logic was not applicable to future contingents, e.g. the statement "There will be a sea battle tomorrow". In other words, statements about the future were neither true nor false, but an intermediate value could be assigned to them, to represent their possibility of becoming true in the future. This article presents the Łukasiewicz(–Tarski) logic in its full generality, i.e. as an infinite-valued logic. For an elementary introduction to the three-valued instantiation Ł3, see three-valued logic. (en)
- Em matemática, a lógica de Łukasiewicz (em inglês: /luːkəˈʃɛvɪtʃ/; em polonês: /wukaˈɕɛvʲitʂ/), é uma lógica não-clássica multivalorada. Foi definida por Jan Łukasiewicz como uma lógica trivaluada. Posteriormente, foi generalizada para n valores (com n finito), bem como para infinitamente valorada (ℵ0-valorada), ambas proposicionais e de primeira ordem. A versão ℵ0-valorada foi publicada em 1930 por Łukasiewicz e Alfred Tarski, ficando conhecida como lógica de Łukasiewicz-Tarski. (pt)
- Логіка Лукашевича — багатозначна логіка, як спочатку була визначена Яном Лукашевичем як тризначна логіка, а потім узагальнена до скінченної n-значної логіки, та до нескінченної дійснозначної логіки як для числення висловлень та логіки першого порядку. Операціями логіки Лукашевича є: імплікація заперечення еквівалентність слаба кон'юнкція сильна кон'юнкція слаба диз'юнкція сильна диз'юнкція та константи та . Наявність слабої та сильної кон'юнкції та диз'юнкції є загальною рисою всіх підструктурних логік без правила скорочення, до яких належить логіка Лукашевича. (uk)
- 在数学中，Łukasiewicz 逻辑是非经典、多值逻辑。它最初由扬·武卡谢维奇定义为叫做“三价逻辑”的三值逻辑；它后来被推广为 n 值(对于所有有限 n)和无限多值变体，命题和一阶都有。它属于 和亚结构逻辑类。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 15801 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- Em matemática, a lógica de Łukasiewicz (em inglês: /luːkəˈʃɛvɪtʃ/; em polonês: /wukaˈɕɛvʲitʂ/), é uma lógica não-clássica multivalorada. Foi definida por Jan Łukasiewicz como uma lógica trivaluada. Posteriormente, foi generalizada para n valores (com n finito), bem como para infinitamente valorada (ℵ0-valorada), ambas proposicionais e de primeira ordem. A versão ℵ0-valorada foi publicada em 1930 por Łukasiewicz e Alfred Tarski, ficando conhecida como lógica de Łukasiewicz-Tarski. (pt)
- Логіка Лукашевича — багатозначна логіка, як спочатку була визначена Яном Лукашевичем як тризначна логіка, а потім узагальнена до скінченної n-значної логіки, та до нескінченної дійснозначної логіки як для числення висловлень та логіки першого порядку. Операціями логіки Лукашевича є: імплікація заперечення еквівалентність слаба кон'юнкція сильна кон'юнкція слаба диз'юнкція сильна диз'юнкція та константи та . Наявність слабої та сильної кон'юнкції та диз'юнкції є загальною рисою всіх підструктурних логік без правила скорочення, до яких належить логіка Лукашевича. (uk)
- 在数学中，Łukasiewicz 逻辑是非经典、多值逻辑。它最初由扬·武卡谢维奇定义为叫做“三价逻辑”的三值逻辑；它后来被推广为 n 值(对于所有有限 n)和无限多值变体，命题和一阶都有。它属于 和亚结构逻辑类。 (zh)
- En mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique. Elle a été définie à l'origine au début du XXe siècle par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre. La version ℵ0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski. Celle-ci appartient aux classes de et de logiques sous structurelles. (fr)
- In mathematics and philosophy, Łukasiewicz logic (/ˌluːkəˈʃɛvɪtʃ/ LOO-kə-SHEV-itch, Polish: [wukaˈɕɛvitʂ]) is a non-classical, many-valued logic. It was originally defined in the early 20th century by Jan Łukasiewicz as a three-valued modal logic; it was later generalized to n-valued (for all finite n) as well as infinitely-many-valued (ℵ0-valued) variants, both propositional and first order. The ℵ0-valued version was published in 1930 by Łukasiewicz and Alfred Tarski; consequently it is sometimes called the Łukasiewicz–Tarski logic. It belongs to the classes of t-norm fuzzy logics and substructural logics. (en)
|
| rdfs:label
|
- Logique de Łukasiewicz (fr)
- Lógica de Łukasiewicz (pt)
- Łukasiewicz logic (en)
- Логіка Лукашевича (uk)
- 武卡谢维奇逻辑 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:notableIdea
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:notableIdeas
of | |
| is foaf:primaryTopic
of | |
