Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Łukasiewicz_logic> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Łukasiewicz_logic abstract "In mathematics, Łukasiewicz logic (/luːkəˈʃɛvɪtʃ/; Polish pronunciation: [wukaˈɕɛvʲitʂ]) is a non-classical, many valued logic. It was originally defined in the early 20th-century by Jan Łukasiewicz as a three-valued 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.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.".
- Łukasiewicz_logic wikiPageExternalLink 28.pdf.
- Łukasiewicz_logic wikiPageID "11001950".
- Łukasiewicz_logic wikiPageLength "10077".
- Łukasiewicz_logic wikiPageOutDegree "33".
- Łukasiewicz_logic wikiPageRevisionID "697868303".
- Łukasiewicz_logic wikiPageWikiLink Alfred_Tarski.
- Łukasiewicz_logic wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- Łukasiewicz_logic wikiPageWikiLink BL_(logic).
- Łukasiewicz_logic wikiPageWikiLink Category:Fuzzy_logic.
- Łukasiewicz_logic wikiPageWikiLink Category:Many-valued_logic.
- Łukasiewicz_logic wikiPageWikiLink Chen_Chung_Chang.
- Łukasiewicz_logic wikiPageWikiLink Grigore_Moisil.
- Łukasiewicz_logic wikiPageWikiLink Jan_Łukasiewicz.
- Łukasiewicz_logic wikiPageWikiLink MV-algebra.
- Łukasiewicz_logic wikiPageWikiLink Many-valued_logic.
- Łukasiewicz_logic wikiPageWikiLink Mathematics.
- Łukasiewicz_logic wikiPageWikiLink Monoidal_t-norm_logic.
- Łukasiewicz_logic wikiPageWikiLink Non-classical_logic.
- Łukasiewicz_logic wikiPageWikiLink Propositional_calculus.
- Łukasiewicz_logic wikiPageWikiLink Propositional_variable.
- Łukasiewicz_logic wikiPageWikiLink Real-valued_logics.
- Łukasiewicz_logic wikiPageWikiLink Real_number.
- Łukasiewicz_logic wikiPageWikiLink Recursion.
- Łukasiewicz_logic wikiPageWikiLink Strong_conjunction.
- Łukasiewicz_logic wikiPageWikiLink Strong_disjunction.
- Łukasiewicz_logic wikiPageWikiLink Structure_(mathematical_logic).
- Łukasiewicz_logic wikiPageWikiLink Substructural_logic.
- Łukasiewicz_logic wikiPageWikiLink T-norm.
- Łukasiewicz_logic wikiPageWikiLink T-norm_fuzzy_logics.
- Łukasiewicz_logic wikiPageWikiLink Tautology_(logic).
- Łukasiewicz_logic wikiPageWikiLink Three-valued_logic.
- Łukasiewicz_logic wikiPageWikiLink Total_order.
- Łukasiewicz_logic wikiPageWikiLink Truth_value.
- Łukasiewicz_logic wikiPageWikiLink Łukasiewicz–Moisil_algebra.
- Łukasiewicz_logic wikiPageWikiLinkText "infinite-valued logic".
- Łukasiewicz_logic wikiPageWikiLinkText "Łukasiewicz logic algebras in categories".
- Łukasiewicz_logic wikiPageWikiLinkText "Łukasiewicz logic".
- Łukasiewicz_logic wikiPageWikiLinkText "Łukasiewicz logic#Axioms".
- Łukasiewicz_logic wikiPageWikiLinkText "Łukasiewicz many-valued logic".
- Łukasiewicz_logic wikiPageUsesTemplate Template:About.
- Łukasiewicz_logic wikiPageUsesTemplate Template:Doi.
- Łukasiewicz_logic wikiPageUsesTemplate Template:Expand_section.
- Łukasiewicz_logic wikiPageUsesTemplate Template:IPA-pl.
- Łukasiewicz_logic wikiPageUsesTemplate Template:IPAc-en.
- Łukasiewicz_logic wikiPageUsesTemplate Template:Non-classical_logic.
- Łukasiewicz_logic subject Category:Fuzzy_logic.
- Łukasiewicz_logic subject Category:Many-valued_logic.
- Łukasiewicz_logic hypernym Logic.
- Łukasiewicz_logic type Diacritic.
- Łukasiewicz_logic type Redirect.
- Łukasiewicz_logic comment "In mathematics, Łukasiewicz logic (/luːkəˈʃɛvɪtʃ/; Polish pronunciation: [wukaˈɕɛvʲitʂ]) is a non-classical, many valued logic. It was originally defined in the early 20th-century by Jan Łukasiewicz as a three-valued 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.".
- Łukasiewicz_logic label "Łukasiewicz logic".
- Łukasiewicz_logic sameAs Q8080919.
- Łukasiewicz_logic sameAs m.02qxsm_.
- Łukasiewicz_logic sameAs Логіка_Лукашевича.
- Łukasiewicz_logic sameAs Q8080919.
- Łukasiewicz_logic sameAs 武卡谢维奇逻辑.
- Łukasiewicz_logic wasDerivedFrom Łukasiewicz_logic?oldid=697868303.
- Łukasiewicz_logic isPrimaryTopicOf Łukasiewicz_logic.