✦ LIBER ✦

Tableaux for logic programming

✍ Scribed by Melvin Fitting

Publisher: Springer Netherlands
Year: 1994
Tongue: English
Weight: 1016 KB
Volume: 13
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00881954

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Graded tableaux for Rational Pavelka Log

Graded tableaux for Rational Pavelka Logic

✍ Luigi Di Lascio; Antonio Gisolfi 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

In this article, a sound and complete tableau system for Rational Pavelka Logic ~RPL! is introduced. Extended formulas are used as the counterpart of the graded formulas. In this calculus, if we want to show that the graded formula ~x, r! is tableau provable ~in the finite fuzzy theory F, respective

Semantic Tableaux for A Logic With Ident

Semantic Tableaux for A Logic With Identity

✍ Ermanno Bencivenga 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 501 KB

Meta-logic programming for a synonymy lo

Meta-logic programming for a synonymy logic

✍ Daniele Genito; Giangiacomo Gerla; Alessandro Vignes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 402 KB

Logic programming for combinatorial prob

Logic programming for combinatorial problems

✍ Toshinori Munakata; Roman Barták 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 220 KB

From logic to logic programming

✍ Charles Ashbacher 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 66 KB

Logic programming and Σ-programming

✍ A. A. Voronkov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 780 KB