About: Łukasiewicz logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Many-valued logic

Property	Value
dbo:description	logică polivalentă (ro) logique polyvalente, non-classique (fr) lògica polivalent (ca) many-valued logic (en)
dbo:wikiPageWikiLink	dbr:Co-NP-complete dbr:Grigore_Moisil dbr:Agata_Ciabattoni dbr:Tarskian_Möglichkeit dbr:Non-classical_logic dbr:Sequent_calculus dbr:Model_(mathematical_logic) dbr:Philosophy dbr:Countable_set dbr:Recursion dbr:Lattice_(order) dbr:Real_number dbr:First-order_logic dbr:Cut-elimination_theorem dbr:Propositional_logic dbr:Modus_ponens dbr:Mathematics dbr:Modal_logic dbr:Tautology_(logic) dbr:Linear_logic dbr:Substructural_logic dbr:MV-algebra dbc:Many-valued_logic dbr:Many-valued_logic dbr:Three-valued_logic dbr:Truth_value dbr:Alfred_Tarski dbr:Law_of_excluded_middle dbr:T-norm dbc:Fuzzy_logic dbr:T-norm_fuzzy_logics dbr:Jan_Łukasiewicz dbr:Total_order dbr:Algebraic_semantics_(mathematical_logic) dbr:Arnon_Avron dbr:Propositional_variable dbr:Monoidal_t-norm_logic dbr:Łukasiewicz–Moisil_algebra dbr:Hypersequent dbr:Bivalent_logic dbr:A._N._Prior dbr:Finite-valued_logic dbr:Infinite-valued_logic dbr:Analytic_tableau dbr:Basic_fuzzy_logic dbr:C._C._Chang dbr:ℵ0 dbr:Sentential_calculus dbr:Substructural_logics
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Expand_section dbt:Doi dbt:IPAc-en dbt:About dbt:IPA dbt:Respell dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Many-valued_logic dbc:Fuzzy_logic
gold:hypernym	dbr:Logic
rdf:type	owl:Thing
rdfs:label	Łukasiewicz logic (en) Logique de Łukasiewicz (fr) Lógica de Łukasiewicz (pt) Логіка Лукашевича (uk) 武卡谢维奇逻辑 (zh)
owl:sameAs	freebase:Łukasiewicz logic wikidata:Łukasiewicz logic dbpedia-fr:Łukasiewicz logic dbpedia-zh:Łukasiewicz logic dbpedia-pt:Łukasiewicz logic dbpedia-uk:Łukasiewicz logic dbpedia-global:Łukasiewicz logic dbr:Łukasiewicz logic
prov:wasDerivedFrom	wikipedia-en:Łukasiewicz_logic?oldid=1284505361&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Łukasiewicz_logic
is dbo:notableIdea of	dbr:Jan_Łukasiewicz
is dbo:wikiPageRedirects of	dbr:Łukasiewicz-Tarski_logic dbr:Łukasiewicz_fuzzy_logic dbr:Łukasiewicz_implication dbr:Łukasiewicz–Tarski_logic dbr:Lukasiewicz_fuzzy_logic dbr:Lukasiewicz_logic
is dbo:wikiPageWikiLink of	dbr:Grigore_Moisil dbr:Involution_(mathematics) dbr:Algebraic_logic dbr:MV-algebra dbr:Probabilistic_soft_logic dbr:Many-valued_logic dbr:Principle_of_bivalence dbr:Fuzzy_logic dbr:Problem_of_future_contingents dbr:T-norm_fuzzy_logics dbr:Jan_Łukasiewicz dbr:Algebraic_semantics_(mathematical_logic) dbr:Chen_Chung_Chang dbr:List_of_things_named_after_Alfred_Tarski dbr:Łukasiewicz–Moisil_algebra dbr:Infinite-valued_logic dbr:Łukasiewicz-Tarski_logic dbr:Łukasiewicz_fuzzy_logic dbr:Łukasiewicz_implication dbr:Łukasiewicz–Tarski_logic dbr:Lukasiewicz_fuzzy_logic dbr:Lukasiewicz_logic
is dbp:notableIdeas of	dbr:Jan_Łukasiewicz
is foaf:primaryTopic of	wikipedia-en:Łukasiewicz_logic