This article is cited in 2 papers

Lukasiewicz's logic as an architecture model of arithmetic

S. P. Kovalyov

Institute of Computing Technologies, Siberian Branch of the Russian Academy of Sciences

Abstract: We obtain a complete formal description of various architecture models of computer realizations of arithmetic in terms of the finite-valued Lukasiewicz logic and logics enriched by it. The weak incompleteness property of these logics enables one to study the structural characteristics of operations independent of the representation of numbers, such as the forms of admissible overflows. We describe some properties of the lattice of these logics and find bases suitable for applications. We consider logical structures that arise in the realization of arithmetic operations and the representation of overflow in positional number systems. We indicate paths for the development of hardware-based realizations of arithmetic. We present a new view of the nature of Lukasiewicz's logic.

UDC: 510.644

Received: 06.03.2003
Revised: 14.07.2003

Bibliographic databases:

• 
•