Probabilistic Foundations for Operator Logic

Operational foundation of quantum logic

✍ P. Mittelstaedt; E. W. Stachow 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 503 KB

New Foundations For Logic

✍ Popper, Karl 📂 Fiction 📅 0 🌐 English ⚖ 1004 KB

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 Semantics for First-Order

Probabilistic Semantics for First-Order Logic

✍ Hugues Leblanc 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 925 KB

A Logic For Inductive Probabilistic Reas

A Logic For Inductive Probabilistic Reasoning

✍ Manfred Jaeger 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 434 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