Analytic Natural Deduction

Aspects of analytic deduction

✍ Athanassios Tzouvaras 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 930 KB

Fuzzy natural deduction

✍ Giangiacomo Gerla; Roberto Tortora 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 615 KB

## 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

On Natural Deduction

✍ Quine, W V 📂 Fiction 📅 0 🌐 English ⚖ 874 KB

Harmonising natural deduction

✍ Barry Hartley Slater 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 127 KB

Assumption Classes in Natural Deduction

✍ Daniel Leivant 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 200 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