✦ LIBER ✦

Disjunctivity and Alternativity in Projection Logics

✍ Scribed by Suren A. Grigoryan; Daniar H. Mushtari; Peter G. Ovchinnikov

Book ID: 111530364
Publisher: Springer
Year: 2000
Tongue: English
Weight: 36 KB
Volume: 39
Category: Article
ISSN: 0020-7748
DOI: 10.1023/a:1003650107358

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunctive logic and semantics of disju

Disjunctive logic and semantics of disjunctive logic programs

✍ Yidong Shen 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 540 KB

Disjunction And Alternativeness

✍ Mandy Simons 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 122 KB

Relevance logic, classical logic, and di

Relevance logic, classical logic, and disjunctive syllogism

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

On disjunction in intuitionist logic

✍ Vaidyanathaswamy, R. 📂 Article 📅 1943 🏛 Springer-Verlag 🌐 English ⚖ 257 KB

Argumentation in disjunctive logic progr

Argumentation in disjunctive logic programming

✍ Kewen Wang; Quanyuan Wu; Huowang Chen 📂 Article 📅 1998 🏛 SP Science China Press 🌐 English ⚖ 453 KB

Partial deduction in disjunctive logic p

Partial deduction in disjunctive logic programming

✍ Chiaki Sakama; Hirohisa Seki 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 917 KB

This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called d