About: Finite-valued logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Finite-valued logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/6S9DTeYe9e

In logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided").

Attributes	Values
rdfs:label	Finite-valued logic (en)
rdfs:comment	In logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided"). (en)
dcterms:subject	Logic Many-valued logic
Wikipage page ID	57435582 (xsd:integer)
Wikipage revision ID	1106497564 (xsd:integer)
Link from a Wikipage to another Wikipage	Probability distribution Propositional calculus Saul Kripke Electronic circuit design Principle of bivalence Description logic Algebraic structure Algorithm Logic Jon Michael Dunn Decidability (logic) Defuzzification Degree of truth Infinite-valued logic Truth predicate Computer Consistency Mathematics Matrix (mathematics) Neuron Organon Emil Leon Post George Boole Brain Continuous or discrete variable Many-valued logic Logic Stephen Cole Kleene Computational linguistics Computational semantics Proposition Steady state (electronics) Synapse Many-valued logic Age of Enlightenment Truth values Fuzzy logic Linguistics Logical intuition Three-valued logic Alfred Tarski Nuel Belnap Formal language Probability theory Random variable Jan Łukasiewicz Aristotle Biophysics Axiom Boolean-valued model CMOS Kurt Gödel Set theory Sorites paradox Natural language T-norm fuzzy logics Natural-language processing Truth tables Aristotle's logic Law of the excluded middle Presuppositions
sameAs	Finite-valued logic Finite-valued logic
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mathematical_logic
has abstract	In logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided"). The term finitely many-valued logic is typically used to describe many-valued logic having three or more, but not infinite, truth values. The term finite-valued logic encompasses both finitely many-valued logic and bivalent logic. Fuzzy logics, which allow for degrees of values between "true" and "false"), are typically not considered forms of finite-valued logic. However, finite-valued logic can be applied in Boolean-valued modeling, description logics, and defuzzification of fuzzy logic. A finite-valued logic is decidable (sure to determine outcomes of the logic when it is applied to propositions) if and only if it has a computational semantics. (en)
prov:wasDerivedFrom	wikipedia-en:Finite-valued_logic?oldid=1106497564&ns=0
page length (characters) of wiki page	12921 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Finite-valued_logic
is Link from a Wikipage to another Wikipage of	Infinite-valued logic Intuitionistic logic Primitive recursive arithmetic Many-valued logic Truth Gödel logic Law of excluded middle Łukasiewicz logic Finitely many-valued logic
is Wikipage redirect of	Finitely many-valued logic
is foaf:primaryTopic of	wikipedia-en:Finite-valued_logic

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software