About: Three-valued logic

Property	Value
dbo:description	logic system in which there are three truth values indicating true, false and some indeterminate third value (en) logique polyvalente (fr) mehrwertige Logik (de) نظام مؤلف من مجموعة منطق تعددي القيمة حيث تكون لها ثلاث قيم منطقية مشيراً إلى صواب, خطأ وقيمة معينة ثالثة (ar) sistema lógico multivaluado en el que hay tres valores de verdad (es) один из видов многозначной логики (ru) sistema lògic en què hi ha tres valors de veritat que indiquen cert, fals i un tercer valor indeterminat (ca) sistema logico basato su tre valori di verità: vero, falso e indeterminato (it) نوعی از منطق چند-ارزشی (fa)
dbo:wikiPageExternalLink	http://www.cambridge.org/us/academic/subjects/philosophy/logic/introduction-many-valued-and-fuzzy-logic-semantics-algebras-and-derivation-systems%3Fformat=PB
dbo:wikiPageWikiLink	dbr:SQL dbr:Quantifier_(logic) dbr:Propositional_logic dbr:Truth_table dbr:Ternary_numeral_system dbr:Trit_(computing) dbr:Logic dbr:Modal_logic dbr:Tautology_(logic) dbr:Sentinel_value dbr:Four-valued_logic dbr:Balanced_ternary dbr:Boolean_algebra_(structure) dbr:Logical_NOR dbr:Intuitionistic_logic dbr:Setun dbr:Atom_(order_theory) dbr:Numerical_digit dbr:Paraconsistent_logic dbc:Many-valued_logic dbr:Charles_Sanders_Peirce dbr:Many-valued_logic dbr:Principle_of_bivalence dbr:Three-state_logic dbr:Truth_value dbr:Or_(logic) dbr:Stephen_Cole_Kleene dbr:Law_of_excluded_middle dbr:Material_conditional dbr:Skew_binary_number_system dbr:Emil_Leon_Post dbr:Undecidable_problem dbr:Boolean_logic dbc:Ternary_computers dbr:Ternary_computer dbr:Ternary_signal dbr:Intermediate_logic dbr:Jan_Łukasiewicz dbr:Null_(SQL) dbr:Boolean_function dbr:Graham_Priest dbr:Redundant_binary_representation dbr:Binary_logic_(disambiguation) dbr:Material_equivalence dbr:Clarence_Irving_Lewis dbr:Logical_NAND dbr:Predicate_logic dbr:Digital_circuit dbr:Grigore_Constantin_Moisil dbr:Heyting dbr:Not_(logic) dbr:And_(logic) dbr:Law_of_excluded_fourth dbr:Law_of_non-contradiction dbr:XNOR dbr:XOR dbr:Connectives dbr:Functionally_complete dbr:Unary_operator dbr:Gödel dbr:Tri-state_buffer dbr:Extended_contradiction_principle dbr:Modular_algebra dbr:Designated_value
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Cite_book dbt:Main dbt:Reflist dbt:Math dbt:Doi dbt:See_also dbt:Empty_section dbt:No dbt:Further dbt:ISBN dbt:More_citations_needed dbt:Sfrac dbt:Yes dbt:Citation_needed dbt:Distinguish dbt:Mvar dbt:Section_link dbt:Mathematical_logic dbt:Non-classical_logic dbt:Short_description dbt:Blockquote
dct:subject	dbc:Many-valued_logic dbc:Ternary_computers
gold:hypernym	dbr:Values
rdfs:label	Three-valued logic (en) منطق ثلاثي (ar) Dreiwertige Logik (de) Lógica trivalente (es) Logique ternaire (fr) 3値論理 (ja) Logika trójwartościowa (pl) Driewaardige logica (nl) 3치 논리 (ko) Троичная логика (ru) Lógica ternária (pt) Тризначна логіка (uk) 三值逻辑 (zh)
rdfs:seeAlso	dbr:De_Morgan_algebra
owl:differentFrom	dbr:Three-state_logic
owl:sameAs	freebase:Three-valued logic yago-res:Three-valued logic wikidata:Three-valued logic dbpedia-nl:Three-valued logic dbpedia-de:Three-valued logic dbpedia-fr:Three-valued logic dbpedia-zh:Three-valued logic dbpedia-ja:Three-valued logic dbpedia-pt:Three-valued logic dbpedia-he:Three-valued logic dbpedia-es:Three-valued logic dbpedia-fa:Three-valued logic dbpedia-ru:Three-valued logic dbpedia-pl:Three-valued logic dbpedia-ko:Three-valued logic dbpedia-ar:Three-valued logic dbpedia-ka:Three-valued logic dbpedia-mk:Three-valued logic dbpedia-uk:Three-valued logic dbpedia-global:Three-valued logic dbr:Three-valued logic
prov:wasDerivedFrom	wikipedia-en:Three-valued_logic?oldid=1292023558&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Three-valued_logic
is dbo:wikiPageRedirects of	dbr:3-valued_logic dbr:3VL dbr:Ternary_logic dbr:Three_value_logic dbr:Three_valued_logic dbr:Kleene_logic dbr:Law_of_excluded_fourth dbr:Three-valued_logics dbr:Non-boolean_logic dbr:Tribool dbr:Trinary_logic dbr:Triple-value_logic dbr:Triple-valued_logic dbr:Triple_value_logic dbr:Triple_valued_logic dbr:Trivalent_logic
is dbo:wikiPageWikiLink of	dbr:Non-classical_logic dbr:Involution_(mathematics) dbr:History_of_computing_hardware dbr:SQL dbr:Rule_of_inference dbr:Reinhard_Wilhelm dbr:Sports_rating_system dbr:Philosophical_logic dbr:Philosophy_of_logic dbr:Boolean_data_type dbr:List_of_African_educators,_scientists_and_scholars dbr:Abstract_interpretation dbr:Consonance_and_dissonance dbr:Index_of_philosophy_articles_(R–Z) dbr:Espresso_heuristic_logic_minimizer dbr:Balanced_ternary dbr:Premier_League–Football_League_gulf dbr:Truth dbr:Digital_signal dbr:Signal dbr:Codd's_theorem dbr:Paraconsistent_logic dbr:De_Morgan_algebra dbr:Many-valued_logic dbr:Principle_of_bivalence dbr:Three-state_logic dbr:3-valued_logic dbr:3VL dbr:Nullable_type dbr:Skew_binary_number_system dbr:Märklin_Digital dbr:Relational_model dbr:Buridan's_bridge dbr:T-norm_fuzzy_logics dbr:Boolean_algebra dbr:Ternary_signal dbr:Checkbox dbr:Null_(SQL) dbr:Law_of_thought dbr:Conditional_event_algebra dbr:Revision_theory dbr:Ternary_logic dbr:SQL_syntax dbr:Semantic_theory_of_truth dbr:Imieliński–Lipski_algebra dbr:Łukasiewicz_logic dbr:Well-founded_semantics dbr:Jerzy_Słupecki dbr:Finite-valued_logic dbr:Itala_D'Ottaviano dbr:Jaina_seven-valued_logic dbr:Three_value_logic dbr:Three_valued_logic dbr:Kleene_logic dbr:Law_of_excluded_fourth dbr:Three-valued_logics dbr:Non-boolean_logic dbr:Tribool dbr:Trinary_logic dbr:Triple-value_logic dbr:Triple-valued_logic dbr:Triple_value_logic dbr:Triple_valued_logic dbr:Trivalent_logic
is owl:differentFrom of	dbr:Three-state_logic
is foaf:primaryTopic of	wikipedia-en:Three-valued_logic