✦ LIBER ✦

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

✍ Scribed by Miroslaw Truszczyński

Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 310 KB
Volume: 174
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2010.08.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics of Horn and disjunctive logic

Semantics of Horn and disjunctive logic programs

✍ Jorge Lobo; Arcot Rajasekar; Jack Minker 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 927 KB

A topological characterization of consis

A topological characterization of consistency of logic theories in propositional logic

✍ Guo-Jun Wang; Yan-Hong She 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs

On Fuzzy Logic II. Enriched residuated l

On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi

✍ Jan Pavelka 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 805 KB

For instance, the consequence gy(,,, \*,O of the empty L-fuzzy set Op = 0, 'p E P ( P , L,A) is an L-fuzzy subset of F ( P , L, A ) , which assigns to every 'p E F ( P , L, A ) its tautological degree (%9(P,&)O) 'p E L.

Algebraic Characterizations of the Satis

Algebraic Characterizations of the Satisfiability of First-Order Logical Formulas and the Halting of Programs

✍ Jean-Pierre Bénéjam 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 616 KB

Equality, types, modules, and (why not?)

Equality, types, modules, and (why not?) generics for logic programming : Goguen, J. and Meseguer, J., journal of logic programming 1:179 (1984)

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 38 KB

Determination of the oxygen content in s

Determination of the oxygen content in superconducting and related cuprates using temperature-programmed reduction

✍ Istvan Halasz; Hung-Wen Jen; Alan Brenner; Mordecai Shelef; Sendjaja Kao; K.Y. S 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 982 KB