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. |

Abstract (English) |
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 |

1) Download Document PDF |

Open access Restricted Private