Multivalued Logic to Transform Potential into Actual Objects |
| |
| Authors: | Giangiacomo Gerla |
| |
| Affiliation: | (1) Dipartimento di Matematica ed Informatica, University of Salerno, Via Ponte Don Melillo, 84084 Fisciano, SA, Italy |
| |
| Abstract: | We define the notion of “potential existence” by starting from the fact that in multi-valued logic the existential quantifier is interpreted by the least upper bound operator. Besides, we try to define in a general way how to pass from potential into actual existence. Presented by Melvin Fitting |
| |
| Keywords: | Potential existence point-free geometry infinity multi-valued logic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
