Property |
Value |
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)
- 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)
|
dbo:namedAfter
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5377 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:art
|
- Łukasiewicz logic (fr)
- Łukasiewicz logic (fr)
|
prop-fr:id
| |
prop-fr:lang
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- 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)
- 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)
|
rdfs:label
|
- Logique de Łukasiewicz (fr)
- Логіка Лукашевича (uk)
- Logique de Łukasiewicz (fr)
- Логіка Лукашевича (uk)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |