New Foundations For Logic

New Foundations for Rewriting Logic

✍ Hendrik Hilberdink 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 284 KB

This paper presents an abstract treatment of the foundations of rewriting logic, generalising in three ways: an arbitrary 2-category plays the role of the specific 2-category Cat; the foundations are rendered fully independent of the underlying equational logic; and the semantics covers non-conventi

Probabilistic Foundations for Operator L

Probabilistic Foundations for Operator Logic

✍ Slater, B H 📂 Fiction 📅 0 🌐 English ⚖ 255 KB

Alternative foundations for Reiter's def

Alternative foundations for Reiter's default logic

✍ Thomas Linke; Torsten Schaub 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 443 KB

We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from the necessity of exhaustive consistency checks with respect to the finally resulting set of conclusions; often this so-called ex

Epistemic foundations of logic

✍ Brian Ellis 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 998 KB

Improved foundations for a logic of intr

Improved foundations for a logic of intrinsic value

✍ Philip L. Quinn 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 406 KB

Logical Foundations of Probability

✍ Carnap, Rudolf 📂 Fiction 📅 0 🌐 English ⚖ 128 KB