Results 1  10
of
3,161
The algebra of fuzzy truth values
 Fuzzy Sets and Systems
, 2005
"... The purpose of this paper is to give a straightforward mathematical treatment of algebras of fuzzy truth values for type2 fuzzy sets. ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
The purpose of this paper is to give a straightforward mathematical treatment of algebras of fuzzy truth values for type2 fuzzy sets.
ALGEBRAIC STRUCTURE OF THE TRUTHVALUES
"... This paper is an abstract of the report which was presented on the PolishSoviet meeting on logic (Moscow, December 68, 1986). It is shown that one can consider a linearyordered Heyting’s and Brouwer’s algebras as truthvalues for ̷Lukasiewicz’s infinitevalued logic’s ̷Lω. ..."
Abstract
 Add to MetaCart
This paper is an abstract of the report which was presented on the PolishSoviet meeting on logic (Moscow, December 68, 1986). It is shown that one can consider a linearyordered Heyting’s and Brouwer’s algebras as truthvalues for ̷Lukasiewicz’s infinitevalued logic’s ̷Lω.
Hypersets as Truth Values
"... The hypersets are shown to play the truth values of stable properties of nondeterministc dynamical systems. In fact, the universe of hereditory finite hypersets, with the truth value as an atom added, is shown to be the subobject classifier of the category of simulations of nondeterministic dynamica ..."
Abstract
 Add to MetaCart
The hypersets are shown to play the truth values of stable properties of nondeterministc dynamical systems. In fact, the universe of hereditory finite hypersets, with the truth value as an atom added, is shown to be the subobject classifier of the category of simulations of nondeterministic
Against TruthValue Gaps
, 2003
"... Many things are neither true nor false: shoes and ships and sealing wax, to name a few. But these things are neither true nor false because they are not the kinds of things that can be either. There are also some things that are apt for being true or false. Preferences vary on exactly what these t ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
these things are. Common candidates include utterances, interpreted sentences paired with contexts, and propositions. Can there be something that is apt to be true or false, but fails to be either? This is the question of whether there are substantial truthvalue gaps. It has been a persistent idea
Truth Value Solver: A Software for Calculating Truth Value with Uncertain Logic
"... Uncertain logic based on uncertainty theory is a generalization of classical logic for dealing with uncertain knowledge. One advantage of uncertain logic is that it is consistent with the law of excluded middle and the law of contraction. The truth value is defined as the uncertain measure that a pr ..."
Abstract
 Add to MetaCart
Uncertain logic based on uncertainty theory is a generalization of classical logic for dealing with uncertain knowledge. One advantage of uncertain logic is that it is consistent with the law of excluded middle and the law of contraction. The truth value is defined as the uncertain measure that a
The truthvalue judgment task
 Methods for Assessing Children’s Syntax
, 1998
"... The truthvalue judgment (TVJ) task has proved to be one of the most illuminating methods of assessing children's linguistic competence developed in recent years. The fundamental property of this task is that it requires the child simply to make a bipolar judgment about whether a statement accu ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
The truthvalue judgment (TVJ) task has proved to be one of the most illuminating methods of assessing children's linguistic competence developed in recent years. The fundamental property of this task is that it requires the child simply to make a bipolar judgment about whether a statement
Truth value algebras and proof normalization
 In TYPES 2006
, 2006
"... Abstract. We extend the notion of Heyting algebra to a notion of truth values algebra and prove that a theory is consistent if and only if it has a Bvalued model for some non trivial truth values algebra B. A theory that has a Bvalued model for all truth values algebras B is said to be superconsi ..."
Abstract

Cited by 14 (5 self)
 Add to MetaCart
Abstract. We extend the notion of Heyting algebra to a notion of truth values algebra and prove that a theory is consistent if and only if it has a Bvalued model for some non trivial truth values algebra B. A theory that has a Bvalued model for all truth values algebras B is said to be super
Minimalism and TruthValue Gaps*
"... There is a tendency to use “truth ” with a big T in the grand sense, as something noble and splendid and worthy of adoration. This gets people into a frame of mind in which they become ..."
Abstract
 Add to MetaCart
There is a tendency to use “truth ” with a big T in the grand sense, as something noble and splendid and worthy of adoration. This gets people into a frame of mind in which they become
BIVALENCE AND THE CHALLENGE OF TRUTHVALUE GAPS
, 2003
"... This thesis is concerned with the challenge truthvalue gaps pose to the principle of bivalence. The central question addressed is: are truthvalue gaps counterexamples to bivalence and is the supposition of counterexamples coherent? My aim is to examine putative cases of truthvalue gaps against an ..."
Abstract
 Add to MetaCart
This thesis is concerned with the challenge truthvalue gaps pose to the principle of bivalence. The central question addressed is: are truthvalue gaps counterexamples to bivalence and is the supposition of counterexamples coherent? My aim is to examine putative cases of truthvalue gaps against
FoR Expression Truth value
"... What you see isn’t always what you get: simultaneous classifier constructions in sign language ..."
Abstract
 Add to MetaCart
What you see isn’t always what you get: simultaneous classifier constructions in sign language
Results 1  10
of
3,161