The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

In this paper, a family of paraconsistent propositional logics with constructive negation,
constructive implication, and constructive co-implication is introduced. Although some …

One of the problems we face in many-valued logic is the difficulty of capturing the intuitive
meaning of the connectives introduced through truth tables. At the same time, however …

In this introductory chapter, we show how Gottlob Frege's notion of a truth value has become
part of the standard philosophical and logical terminology. Nowadays, the notion of a truth …

Abstract According to Suszko's Thesis, there are but two logical values, true and false. In this
paper, R. Suszko's, G. Malinowski's, and M. Tsuji's analyses of logical twovaluedness are …

This paper highlights the importance of a strategy for semantic analysis initiated by J.
Michael Dunn, known in the literature as the “American Plan.” The key insight of the plan …

This article presents some theorems for syntactic and semantic embeddings of a Gentzen-
type sequent calculus ML n for multilattice logic into a Gentzen-type sequent calculus LK for …

In their useful logic for a computer network Shramko and Wansing generalize initial values
of Belnap's 4-valued logic to the set 16 to be the power-set of Belnap's 4. This generalization …

We explore a possibility of generalization of classical truth values by distinguishing between
their ontological and epistemic aspects and combining these aspects within a joint …

It has been emphasized by Hiroakira Ono, Petr Hájek, and other logicians that there exists a
close relationship between substructural and manyvalued logics, see, for …