By interpreting ‘p is impossible’ by ‘p is selfcontradictory’, and ‘p is always’ by ‘not p is self-contradictory’, this paper studies which of the three-valued systems of Łucasiewicz, Gödel, Kleene, Bochvar, and Post, do verify the Aristotle’s principles of Non-Contradiction (NC), and Excluded-Middle (EM). Keywords— Systems of three-valued logic, Non-Contradiction, Excluded-Middle.

This paper presents an experiment with human subjects concerning the vague spatial relation ‘near’ in environmental space. After the topic is introduced and relevant previous work surveyed, the experiment is described. Three approaches to experimental analysis are presented and discussed: nearness neighbourhoods as regions with broad boundaries, fuzzy nearness and distance measures, and four-va...

In recent years, there have been major advances in integrated circuit technology which have both made feasible and generated great interest in electronic circuits which employ more than two discrete levels of signal. Such circuits, called multiple-valued logic circuits, offer several potential opportunities for the improvement of present VLSI circuit designs. In this paper, we give an overview ...

1 This work has been supported in part by Found of Fundamental Investigations (Republic of Belarus), Grant ‹M96-094. Abstract A design of multiple-valued circuits based on the multiple-valued programmable logic arrays (MV PLA’s) by generalized disjunctive decomposition is presented. Main subjects are 1) Generalized disjunctive decomposition of multiple-valued functions using multiple-terminal m...

There have been great advances in integrated circuits technology in recent years which have both made feasible and generated major interest in electronic circuits which employ more than two levels of signals. These circuits, called multiple valued logic circuits, offer several potential oppourtinities for the improvement of VLSI circuit designs. In this paper we review developments and potentia...

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bi...