论文信息 - Multivalued Logic to Transform Potential into Actual Objects

Multivalued Logic to Transform Potential into Actual Objects

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.

Giangiacomo Gerla

[1] Roberto Casati,et al. Spatial Entities , 1997 .

[2] Alfred North Whitehead,et al. An enquiry concerning the principles of natural knowledge , 1919 .

[3] L. Birch,et al. The concept of nature , 1992 .

[4] Giangiacomo Gerla,et al. Pointless metric spaces , 1990, Journal of Symbolic Logic.

[5] Antonio di Nola,et al. Fuzzy Models of First Order Languages , 1986, Math. Log. Q..

[6] Giangiacomo Gerla,et al. GRADED INCLUSION AND POINT-FREE GEOMETRY , 2004 .

[7] H. Jerome Keisler,et al. Continuous Model Theory , 1966 .

[8] Jan Pavelka,et al. On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[9] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[10] Giangiacomo Gerla. Chapter 18 – Pointless Geometries , 1995 .

[11] Giangiacomo Gerla,et al. Fuzzy Logic: Mathematical Tools for Approximate Reasoning , 2001 .

[12] H. Jerome Keisler,et al. Continuous Model Theory. (AM-58) , 1966 .

[13] Giangiacomo Gerla,et al. Fuzzy logic, continuity and effectiveness , 2002, Arch. Math. Log..

[14] Giangiacomo Gerla,et al. Grasping Infinity by Finite Sets , 1998, Math. Log. Q..

[15] J. Bell,et al. Models and ultraproducts , 1971 .