Istituto di Scienza e Tecnologie dell'Informazione     
Caracciolo Di Forino A. N-ary selection functions and formal selective systems. Part.1. In: Calcolo, vol. 1 pp. 49 - 82. Consiglio Nazionale delle Ricerche-CSCE (ed.). Tipografia editrice Comm. Umberto Giardini, Pisa, 1964.
The concept of n-ary Selection Function, which is equivalent to McCarthy's Conditional Expression, is introduced. To define it rigorously, abstructing from any interpretation, the concept of Formal Selective System is defined, and some of their basic properties are discussed. A summary of some basic concepts concernig n-valued logics is then given as an introduction to the dtscussìon of the relationship between Formal Selective Systems and n-valued Logics, which is to appear in Part II.
Subject Formal Methods
D.2.4 Software/Program Verification . Formal Methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional