𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Product of partition logics, orthoalgebras, and automata

✍ Scribed by Anatolij Dvurečenskij; Karl Svozil


Publisher
Springer
Year
1996
Tongue
English
Weight
728 KB
Volume
35
Category
Article
ISSN
0020-7748

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The Downward Transfer of Elementary Sati
✍ Enshao Shen; Yijia Chen 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB

We introduce a notion of pseudo-reachability in Gaifman graphs and suggest a graph-theoretic and uniform approach to the Löwenheim-Skolem-Tarski Theorems for partition logics as well as logics with general Malitz quantifiers.