In this article, we show several results obtained by combining the use of stable distributions
with pseudorandom generators for bounded space. In particular:---We show that, for any …

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 Belnap's useful 4-valued logic, the set 2={T, F} of classical truth values is generalized to
the set 4=℘(2)={∅,{T},{F},{T, F}}. In the present paper, we argue in favor of extending this …

In this paper we will consider the existing notions of bilateralism in the context of proof-
theoretic semantics and propose, based on our understanding of bilateralism, an extension …

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 …

We consider a logic which is semantically dual (in some precise sense of the term) to
intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian …

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 …

The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of
such patterns), in the course of which an occurrence of the possibility operator, the diamond …