✦ LIBER ✦

Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation

✍ Scribed by Dimiter Vakarelov

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

On the expressivity of feature logics wi

✍ Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 1013 KB

On two fragments with negation and witho

✍ Félix Bou; Àngel García-Cerdaña; Ventura Verdú 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 382 KB

On the degree of complexity of sententia

✍ Jacek Hawranek; Jan Zygmunt 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

S-GTASQUAC – A Group Contribution Method

✍ Andrea Stäudte; Kai Buchholz; Rolf Lacmann 📂 Article 📅 1999 🏛 Springer Vienna 🌐 English ⚖ 211 KB