✦ LIBER ✦

Entailment, negation and disjunctive syllogism

✍ Scribed by G. H. Stephenson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relevance logic, classical logic, and di

✍ John A. Barker 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 860 KB

A Decision Procedure For the System EĪ o

✍ Nuel D. Belnap Jr.; John R. Wallace 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 699 KB

Axiomatic extensions of the constructive

✍ Andrzej Sendlewski 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 705 KB