Logique de Łukasiewicz
💰 Fortune / Salaire :
10 000,00 € *
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 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 logique floue t-norme et de logiques sous structurelles.
