Matches in SemOpenAlex for { <https://semopenalex.org/work/W80398151> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W80398151 abstract "Classical logic has just two truth values, namely true and false. Any sentence symbol or well-formed formula will take one of these two truth values in any interpretation. Although we are familiar with 2-valued sentential logic, there is no inherent restriction on the number of truth values that can be assigned to a statement. There are other logics with intermediate truth values. In other words, they have a truth value for true, one for false, and also other values in between. Let us take the example of the statement “Kurt is tall.” The truth or falseness of this statement is dependent on frame of reference and may be more true or more false depending on how tall Kurt is. If Kurt is 5’0, then it might be agreed that the statement “Kurt is tall” is false. If Kurt is 7’0, it might be agreed that the statement is true. However, if Kurt is 6’0, there is more ambiguity. In a more formal construction, let us say that there are 3 values for the trueness of “tall,” true, false, and somewhat true. Then we could represent these as 1, meaning true, 0, meaning false, and 1 2 , meaning neither tall nor not tall. We could then define an algorithm to assign one of these truth values depending on Kurt’s acutal measurement. Logics with multiple truth values (i.e., more than 2) were studied in the 1920s by several famous Logicians. The earliest references begin in 1920 with a paper by Jan A Lukasiewicz where the Polish Logician introduced a logic with 3 truth values, like our example of “Kurt is tall” above. Shortly after, A Lukasiewicz, along with the famous Alfred Tarski, extended their work to m truth values. Others have built on the foundational work of these two, including a formalization of 3-valued sentential logic in 1931 by Mordchaj Wajsberg. [?] Later, beginning in the mid-1940s and extending through the 1950s, J. Rosser and B. Turquette provided extensive work in the field of n-valued sentential logic. It is from Rosser and Turquette’s paper, “Axiom Schemes for M-Valued Propositional Calculi” that a cornerstone of the argument we will explore comes. In 1974, H. Goldberg, H. Leblanc, and G Weaver published a" @default.
- W80398151 created "2016-06-24" @default.
- W80398151 creator A5053948881 @default.
- W80398151 date "2006-01-01" @default.
- W80398151 modified "2023-09-27" @default.
- W80398151 title "The Strong Completeness Theorem for n-Valued Sentential Logic" @default.
- W80398151 cites W1984820433 @default.
- W80398151 cites W2013680190 @default.
- W80398151 cites W2016262125 @default.
- W80398151 cites W2026169174 @default.
- W80398151 cites W3028434680 @default.
- W80398151 hasPublicationYear "2006" @default.
- W80398151 type Work @default.
- W80398151 sameAs 80398151 @default.
- W80398151 citedByCount "0" @default.
- W80398151 crossrefType "journal-article" @default.
- W80398151 hasAuthorship W80398151A5053948881 @default.
- W80398151 hasConcept C111472728 @default.
- W80398151 hasConcept C118615104 @default.
- W80398151 hasConcept C134306372 @default.
- W80398151 hasConcept C138885662 @default.
- W80398151 hasConcept C17231256 @default.
- W80398151 hasConcept C199343813 @default.
- W80398151 hasConcept C2777026412 @default.
- W80398151 hasConcept C2777530160 @default.
- W80398151 hasConcept C2777686260 @default.
- W80398151 hasConcept C2780522230 @default.
- W80398151 hasConcept C2780876879 @default.
- W80398151 hasConcept C33923547 @default.
- W80398151 hasConcept C37754750 @default.
- W80398151 hasConcept C41895202 @default.
- W80398151 hasConcept C46274116 @default.
- W80398151 hasConcept C71924100 @default.
- W80398151 hasConcept C74727942 @default.
- W80398151 hasConceptScore W80398151C111472728 @default.
- W80398151 hasConceptScore W80398151C118615104 @default.
- W80398151 hasConceptScore W80398151C134306372 @default.
- W80398151 hasConceptScore W80398151C138885662 @default.
- W80398151 hasConceptScore W80398151C17231256 @default.
- W80398151 hasConceptScore W80398151C199343813 @default.
- W80398151 hasConceptScore W80398151C2777026412 @default.
- W80398151 hasConceptScore W80398151C2777530160 @default.
- W80398151 hasConceptScore W80398151C2777686260 @default.
- W80398151 hasConceptScore W80398151C2780522230 @default.
- W80398151 hasConceptScore W80398151C2780876879 @default.
- W80398151 hasConceptScore W80398151C33923547 @default.
- W80398151 hasConceptScore W80398151C37754750 @default.
- W80398151 hasConceptScore W80398151C41895202 @default.
- W80398151 hasConceptScore W80398151C46274116 @default.
- W80398151 hasConceptScore W80398151C71924100 @default.
- W80398151 hasConceptScore W80398151C74727942 @default.
- W80398151 hasLocation W803981511 @default.
- W80398151 hasOpenAccess W80398151 @default.
- W80398151 hasPrimaryLocation W803981511 @default.
- W80398151 hasRelatedWork W1800984362 @default.
- W80398151 hasRelatedWork W1973701294 @default.
- W80398151 hasRelatedWork W1989481495 @default.
- W80398151 hasRelatedWork W2002302478 @default.
- W80398151 hasRelatedWork W2005959485 @default.
- W80398151 hasRelatedWork W2006111919 @default.
- W80398151 hasRelatedWork W2033720865 @default.
- W80398151 hasRelatedWork W2036035883 @default.
- W80398151 hasRelatedWork W2065038407 @default.
- W80398151 hasRelatedWork W2082428652 @default.
- W80398151 hasRelatedWork W2122316459 @default.
- W80398151 hasRelatedWork W2163739368 @default.
- W80398151 hasRelatedWork W2232529479 @default.
- W80398151 hasRelatedWork W2334491417 @default.
- W80398151 hasRelatedWork W2492811780 @default.
- W80398151 hasRelatedWork W2587635098 @default.
- W80398151 hasRelatedWork W2623930746 @default.
- W80398151 hasRelatedWork W2624617805 @default.
- W80398151 hasRelatedWork W3139383814 @default.
- W80398151 hasRelatedWork W980714723 @default.
- W80398151 isParatext "false" @default.
- W80398151 isRetracted "false" @default.
- W80398151 magId "80398151" @default.
- W80398151 workType "article" @default.