✦ LIBER ✦

Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic

✍ Scribed by Kosta Došen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A reduction of classical propositional l

✍ Kosta Došen 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 360 KB

A normalizing system of natural deductio

✍ Sara Negri 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 135 KB

A typed calculus based on a fragment of

✍ Ugo Solitro 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 469 KB

A Graph-Theoretic Characterization Theor

✍ Misao Nagayama; Mitsuhiro Okada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 48 KB

On a fragment of intuitionistic logic wh

✍ P. A. Schreiner 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 641 KB