Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
On Scott’s semantics for many-valued logic
View through CrossRef
AbstractThe semantics in ordered abelian groups Scott proposed for Łukasiewicz’s many-valued logic fails to be sound for one direction of one of the rules Scott gave for implication. We show this by a counterexample Urquhart has used to justify that in his own semantics, every formula has to have a least point at which it is valid. While this condition would make Scott’s semantics sound, it would cause a problem with its completeness. The question arises whether one can still amend Scott’s semantics so as to make it both sound and complete or better stick to Urquhart’s semantics anyway.
Title: On Scott’s semantics for many-valued logic
Description:
AbstractThe semantics in ordered abelian groups Scott proposed for Łukasiewicz’s many-valued logic fails to be sound for one direction of one of the rules Scott gave for implication.
We show this by a counterexample Urquhart has used to justify that in his own semantics, every formula has to have a least point at which it is valid.
While this condition would make Scott’s semantics sound, it would cause a problem with its completeness.
The question arises whether one can still amend Scott’s semantics so as to make it both sound and complete or better stick to Urquhart’s semantics anyway.
Related Results
Black Wax(ing): On Gil Scott-Heron and the Walking Interlude
Black Wax(ing): On Gil Scott-Heron and the Walking Interlude
The film opens in an unidentified wax museum. The camera pans from right to left, zooming in on key Black historical figures who have been memorialized in wax. W.E.B. Du Bois, Mari...
The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming la...
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known co...
Diagnosing of a complex technical object in four-valued logic
Diagnosing of a complex technical object in four-valued logic
This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic. To this end, an intelligent diagnostic system (DIAG 2) is descr...
Sample logic
Sample logic
Abstract
The need for a ‘many-valued logic’ in linguistics has been evident since the 1970s, but there was lack of clarity as to whether it should come from the fami...
Semantic Search in Solar-Terrestrial Sciences
Semantic Search in Solar-Terrestrial Sciences
The interdisciplinary research and application fields of solar, solar-terrestrial and space physics encompasses a wide variety of physical and chemical phenomena. And increasingly ...
Rationality and Logic
Rationality and Logic
An argument that logic is intrinsically psychological and human psychology is intrinsically logical, and that the connection between human rationality and logic is both constitutiv...
Greek and Roman Logic
Greek and Roman Logic
In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be...