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.
Multivalued logic to transform potential into actual objects
GERLA, Giangiacomo
2007
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
