𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantum Logic as a Fragment of Independence-Friendly Logic

✍ Scribed by Jaakko Hintikka

Book ID
110340775
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
84 KB
Volume
31
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Quantum logic as a dynamic logic
Quantum logic as a dynamic logic
✍ Alexandru Baltag; Sonja Smets πŸ“‚ Article πŸ“… 2010 πŸ› Springer Netherlands 🌐 English βš– 264 KB
Topology lattice as quantum logic
Topology lattice as quantum logic
✍ A. A. Grib; R. R. Zapatrin πŸ“‚ Article πŸ“… 1992 πŸ› Springer 🌐 English βš– 433 KB
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