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

Fuzzy natural deduction

โœ Scribed by Giangiacomo Gerla; Roberto Tortora


Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
615 KB
Volume
36
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


FUZZY SATURAL DEDUCTION

bp GIAXGIACONIO GERLA and ROBERTO TORTORA in Napoli (Italy)

If f and g are L-subsets and f 5 g , then we say that f is a subaet of g . The function


๐Ÿ“œ SIMILAR VOLUMES


Analytic Natural Deduction
โœ Smullyan, Raymond ๐Ÿ“‚ Fiction ๐Ÿ“… 0 ๐ŸŒ English โš– 845 KB
On Natural Deduction
โœ Quine, W V ๐Ÿ“‚ Fiction ๐Ÿ“… 0 ๐ŸŒ English โš– 874 KB
Experiments in linear natural deduction
โœ Simone Martini; Andrea Masini ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 853 KB

We investigate several fragments of multiplicative linear logic, in a natural deduction setting and with the aim of a better understanding of the par connective. We study, first, a pre-tensorial calculus, which is strengthened then in the standard tensorial fragment. The addition of a further pre-te