many-valued

At a colloquium on modal and many-valued logics held in Helsinki in

The Sun Is Not 2009

But a different model might have used many-valued variables to represent the different ways in which Billy and Suzy threw their rocks, their rocks hit the bottle, or the bottle shattered.

My Shasta Daisy 2009

Kripke thinks it probable that Prior's work on many-valued matrices in Time and Modality gave him the idea of converting possible worlds models into many-valued matrices, an approach he followed in his 1963 paper ˜Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi™.

The Sun Is Not 2009

The discovery of many-valued logic is commonly considered to be one of the major achievements of Łukasiewicz.

Lvov-Warsaw School Wole&324;ski, Jan 2009

Most famous among these are Łukasiewicz™s many-valued logics.

Substructural Logics Restall, Greg 2008

With the exception of the so-called epistemic solutions, the main approaches to vagueness (such as the ones based on many-valued logics, or supervaluations) require some under-determinacy of reference, and/or the rejection of Bivalence: if an adolescent, m, is a borderline case of adultness, A, then A (m) may turn out to have an intermediate truth value between truth and falsity, or no truth value at all.

Dialetheism Priest, Graham 2008

Both many-valued logic, introduced by Łukasiewicz in the twenties

Kurt Gödel Kennedy, Juliette 2007

Łukasiewicz to invent many-valued logic a few years later, was already under way in Lwów before the First World War.

Stanisław Leśniewski Simons, Peter 2007

His papers, entrusted to his student Bolesław Sobociński, included unfinished works on logical antinomies and on many-valued logic.

Stanisław Leśniewski Simons, Peter 2007

By making this idea precise, one obtains a variant of Kripke's (1975) theory of truth with the so called Strong Kleene valuation scheme (see the entry on many-valued logic).

Axiomatic Theories of Truth Halbach, Volker 2007