About: Finite-valued logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Logic with discrete truth values

Property	Value
dbo:description	Logic with discrete truth values (en)
dbo:wikiPageWikiLink	dbr:Degree_of_truth dbr:Neuron dbr:Computational_semantics dbr:Consistency dbr:Set_theory dbr:Natural_language dbr:Sorites_paradox dbr:Saul_Kripke dbr:Description_logic dbr:Decidability_(logic) dbr:Probability_distribution dbr:Propositional_calculus dbr:Organon dbr:Steady_state_(electronics) dbr:Proposition dbr:Aristotle dbr:Brain dbr:Computer dbr:Logic dbr:Mathematics dbr:Formal_language dbr:Age_of_Enlightenment dbr:Algorithm dbr:Biophysics dbc:Logic dbr:Linguistics dbr:Probability_theory dbr:Random_variable dbr:Axiom dbr:Kurt_Gödel dbc:Many-valued_logic dbr:Many-valued_logic dbr:Principle_of_bivalence dbr:Three-valued_logic dbr:Alfred_Tarski dbr:Algebraic_structure dbr:Matrix_(mathematics) dbr:Synapse dbr:Stephen_Cole_Kleene dbr:George_Boole dbr:Nuel_Belnap dbr:Emil_Leon_Post dbr:Fuzzy_logic dbr:Continuous_or_discrete_variable dbr:T-norm_fuzzy_logics dbr:CMOS dbr:Computational_linguistics dbr:Defuzzification dbr:Electronic_circuit_design dbr:Jan_Łukasiewicz dbr:Truth_predicate dbr:Boolean-valued_model dbr:Jon_Michael_Dunn dbr:Infinite-valued_logic dbr:Logical_intuition dbr:Law_of_the_excluded_middle dbr:Presuppositions dbr:Natural-language_processing dbr:Aristotle's_logic dbr:Truth_tables dbr:Truth_values
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Logic dbc:Many-valued_logic
rdfs:label	Finite-valued logic (en)
owl:sameAs	wikidata:Finite-valued logic dbpedia-global:Finite-valued logic
prov:wasDerivedFrom	wikipedia-en:Finite-valued_logic?oldid=1292414841&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Finite-valued_logic
is dbo:wikiPageRedirects of	dbr:Finitely_many-valued_logic
is dbo:wikiPageWikiLink of	dbr:Primitive_recursive_arithmetic dbr:Truth dbr:Intuitionistic_logic dbr:Gödel_logic dbr:Many-valued_logic dbr:Law_of_excluded_middle dbr:Łukasiewicz_logic dbr:Infinite-valued_logic dbr:Finitely_many-valued_logic
is foaf:primaryTopic of	wikipedia-en:Finite-valued_logic