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
A logic of hypothetical conjunction
A logic of hypothetical conjunction
Abstract
A binary connective that can be read as a matching conjunction for conditional connectives found in many conditional logics is considered. The most natural ...
Dynamic epistemic logics for abstract argumentation
Dynamic epistemic logics for abstract argumentation
AbstractThis paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a ...
Bicomplex Projection Rule for Complex-Valued Hopfield Neural Networks
Bicomplex Projection Rule for Complex-Valued Hopfield Neural Networks
A complex-valued Hopfield neural network (CHNN) with a multistate activation function is a multistate model of neural associative memory. The weight parameters need a lot of memory...
A Logic for Desire Based on Causal Inference
A Logic for Desire Based on Causal Inference
Abstract
Reasoning about desire plays a significant role in logic, artificial intelligence and philosophy, etc. In this paper, we propose an interpretation of desire...
Epistemic extensions of substructural inquisitive logics
Epistemic extensions of substructural inquisitive logics
Abstract
In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions ...
Intuitionistic ancestral logic
Intuitionistic ancestral logic
Abstract
In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently...
Kingdom of Heaven: The One State Solution and Western Military Intervention in the Holy Land
Kingdom of Heaven: The One State Solution and Western Military Intervention in the Holy Land
In this article I argue that in Kingdom of Heaven Ridley Scott creates historical analogies between Saladin's taking of Jerusalem and the Third Crusade, on the one hand, and the Is...
The challenge of sustaining organizational hybridity: The role of power and agency
The challenge of sustaining organizational hybridity: The role of power and agency
Hybrid organizations harbor different and often conflicting institutional logics, thus facing the challenge of sustaining their hybridity. Crucial to overcoming this challenge is t...