๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A theory of local negation: The model and some applications

โœ Scribed by Gauthier, Yvon

Publisher
Springer-Verlag
Year
1985
Weight
893 KB
Volume
25
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A simple model for a symmetrical theory
A simple model for a symmetrical theory of generalized functions: V. Some applications
โœ J.J. Lodder ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 331 KB

The theory of generalized functions is shown to eliminate ambiguities in products which are unavoidable in distribution theory. The physical examples are the velocity of shock waves and the It&Stratonovich dilemma.

A theory of sets with the negation of th
A theory of sets with the negation of the axiom of infinity
โœ Stefano Baratella; Ruggero Ferro ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 769 KB

## Abstract In this paper we introduce a theory of finite sets FST with a strong negation of the axiom of infinity asserting that every set is provably bijective with a natural number. We study in detail the role of the axioms of Power Set, Choice, Regularity in FST, pointing out the relative depen