✦ LIBER ✦

Logical objects and the paradox of Burali-Forti

✍ Scribed by A. Hazen

Publisher: Springer
Year: 1986
Tongue: English
Weight: 458 KB
Volume: 24
Category: Article
ISSN: 1876-2514
DOI: 10.1007/bf00205017

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Doxastic logic and the Burge-Buridan-Par

Doxastic logic and the Burge-Buridan-Paradox

✍ Wolfgang Lenzen 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 257 KB

On the nature of some logical paradoxes

✍ V. Pinkava 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 902 KB

The paper makes explicit the nature of some logical paradoxes by representing them in the form of logical nets, or simple finite automata expressed in the structural language as logical nets, both binary and non-classic multivalued ones. In this representation the structure of the problems turning e

The logic of partial-risk aversion: Para

The logic of partial-risk aversion: Paradox lost

✍ John W. Pratt 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 518 KB

One rational individual may be willing to pay less than another to insure a risk ~ when another risk ri, is present even though he would pay more to insure any isolated risk, and even though E(~ [~i,) = 0 for all w. Noticing this, Ross (1981) proposed excluding such reversals and gave equivalent ana

An implementation of disk objects in the

An implementation of disk objects in the logical machine monitor

✍ Lian-Jou Tsai; Shang-Rong Tsai; Cheng-Liang Hou 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB 👁 1 views

User or program mobility in distributed computing systems is becoming increasingly significant, since users may sometimes change their working locations. This paper proposes a Logical Machine (LM) system that can effectively support software environment migration and resource mapping. The LM partiti

Distributed Logic Objects: A Fragment of

Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation

✍ Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 816 KB

This paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly distributed) state of the system. In this sense, the logic

Disjunctive logic programming with types

Disjunctive logic programming with types and objects: The DLV+ system

✍ Francesco Ricca; Nicola Leone 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up