We obtain a transformation of the meta-predicates by means of a suitable extension of the monomorphisms. This transformation allows us to derive a useful generalization of Liebniz's principle and, moreover, avoiding heavy formalizations, it makes easier to study of the non-standard analysis and its applications.
Starconcepts
HOLZER, SILVANO
1983-01-01
Abstract
We obtain a transformation of the meta-predicates by means of a suitable extension of the monomorphisms. This transformation allows us to derive a useful generalization of Liebniz's principle and, moreover, avoiding heavy formalizations, it makes easier to study of the non-standard analysis and its applications.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
