A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
In mathematics and philosophy, Łukasiewicz logic (/ˌwʊkəˈʃɛvɪtʃ/ WUUK-ə-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;[1] 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.[2] The ℵ0-valued version was published in 1930 by Łukasiewicz and Alfred Tarski; consequently it is sometimes called the Łukasiewicz–Tarski logic.[3] It belongs to the classes of t-norm fuzzy logics[4] and substructural logics.[5]
Ł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.
Language
The propositional connectives of Łukasiewicz logic are ("implication"), and the constant ("false"). Additional connectives can be defined in terms of these:
The and connectives are called weak disjunction and conjunction, because they are non-classical, as the law of excluded middle does not hold for them. In the context of substructural logics, they are called additive connectives. They also correspond to lattice min/max connectives.
In terms of substructural logics, there are also strong or multiplicative disjunction and conjunction connectives, although these are not part of Łukasiewicz's original presentation:
There are also defined modal operators, using the Tarskian Möglichkeit:
Axioms
![]() | This section needs expansion with: additional axioms for finite-valued logics. You can help by adding to it. (August 2014) |
The original system of axioms for propositional infinite-valued Łukasiewicz logic used implication and negation as the primitive connectives, along with modus ponens:
Propositional infinite-valued Łukasiewicz logic can also be axiomatized by adding the following axioms to the axiomatic system of monoidal t-norm logic:
- Divisibility
- Double negation
That is, infinite-valued Łukasiewicz logic arises by adding the axiom of double negation to basic fuzzy logic (BL), or by adding the axiom of divisibility to the logic IMTL.
Finite-valued Łukasiewicz logics require additional axioms.
Proof Theory
![]() | This section needs expansion with: discussion of sequent calculi and natural deduction systems needed. You can help by adding to it. (June 2022) |
A hypersequent calculus for three-valued Łukasiewicz logic was introduced by Arnon Avron in 1991.[6]
Sequent calculi for finite and infinite-valued Łukasiewicz logics as an extension of linear logic were introduced by A. Prijatelj in 1994.[7] However, these are not cut-free systems.
Hypersequent calculi for Łukasiewicz logics were introduced by A. Ciabattoni et al in 1999.[8] However, these are not cut-free for finite-valued logics.
A labelled tableaux system was introduced by Nicola Olivetti in 2003.[9]
Real-valued semantics
Infinite-valued Łukasiewicz logic is a real-valued logic in which sentences from sentential calculus may be assigned a truth value of not only 0 or 1 but also any real number in between (e.g. 0.25). Valuations have a recursive definition where:
- for a binary connective
- and
and where the definitions of the operations hold as follows:
- Implication:
- Equivalence:
- Negation:
- Weak conjunction:
- Weak disjunction:
- Strong conjunction:
- Strong disjunction:
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk