About: Belnaps logic

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

Any logic with four truth values

Property	Value
dbo:description	4つの真理値を持つ論理 (ja) any logic with four truth values (en) sistema logico basato su quattro valori di verità (it)
dbo:wikiPageExternalLink	http://airccse.org/csit/V7N74.html https://airccj.org/CSCP/vol7/csit77406.pdf https://projecteuclid.org/euclid.ndjfl/1063372199 https://www.researchgate.net/publication/315884653
dbo:wikiPageWikiLink	dbr:Dana_Scott dbr:Lattice_(order) dbr:CAN_bus dbr:Question_answering dbr:Logic dbr:Monotonic_function dbr:VHDL dbr:Internet_of_things dbr:Subset dbr:Project_Euclid dbc:Many-valued_logic dbr:Logical_connective dbr:Negation dbr:Power_set dbr:Or_(logic) dbr:SAE_J1939 dbr:Nuel_Belnap dbr:Don't-care_term dbr:Studia_Logica dbr:Boolean_logic dbr:High_impedance dbr:IEEE_1164 dbc:Hardware_description_languages dbr:Carbon_nanotube_field-effect_transistor dbr:32_nm_process dbr:Carbon_nanotubes dbr:Notre_Dame_Journal_of_Formal_Logic dbr:Inclusion_(set_theory) dbr:Internet_of_Things dbr:IEEE dbr:And_(logic) dbr:Lattice_(order_theory) dbr:Bit_(computing) dbr:IEEE_1364 dbr:Logical_gate dbr:Scott-continuous
dbp:wikiPageUsesTemplate	dbt:Times dbt:Reflist dbt:Cite_journal dbt:Cite_conference dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Many-valued_logic dbc:Hardware_description_languages
rdfs:label	Belnaps logic (en) Four-valued logic (en)
owl:sameAs	yago-res:Belnaps logic freebase:Belnaps logic wikidata:Belnaps logic dbpedia-global:Belnaps logic dbr:Belnaps logic
prov:wasDerivedFrom	wikipedia-en:Four-valued_logic?oldid=1296404621&ns=0 wikipedia-en:Belnaps_logic?oldid=953343095&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Four-valued_logic wikipedia-en:Belnaps_logic
is dbo:wikiPageRedirects of	dbr:4-valued_logic dbr:Belnaps_logic dbr:Belnaps_logic dbr:Four_value_logic dbr:Four_valued_logic
is dbo:wikiPageWikiLink of	dbr:Scott_continuity dbr:Paraconsistent_logic dbr:Logical_connective dbr:Many-valued_logic dbr:Three-state_logic dbr:Three-valued_logic dbr:4-valued_logic dbr:Nuel_Belnap dbr:Don't-care_term dbr:High_impedance dbr:Belnaps_logic dbr:Verilog dbr:SystemC dbr:Four_value_logic dbr:Four_valued_logic
is foaf:primaryTopic of	wikipedia-en:Four-valued_logic wikipedia-en:Belnaps_logic