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 …

Pedrycz shadowed sets are three-way approximations of fuzzy sets by transforming the
infinite levels of fuzzy set membership grades in the unit interval [0, 1] into three levels. The …

The aim of this paper is to obtain a theoretical foundation of inconsistency-tolerant (or
paraconsistent) reasoning by presenting a comprehensive study of the structural proof …

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 …

Jaina philosophy provides a very distinctive account of logic, based on the theory of
'sevenfold predication'. This paper provides a modern formalisation of the logic, using the …

The aim of the present paper is to introduce a system, where the epistemic state of an agent
is represented truth-functionally. In order to obtain this system, we propose a four-valued …

The root of this work is on the one hand in Belnap's four valued paraconsistent logic, and on
the other hand on Pavelka's papers further developed by Turunen. We do not introduce a …

This paper considers some issues to do with valuational presentations of consequence
relations, and the Galois connections between spaces of valuations and spaces of …