𝔖 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
The Downward Transfer of Elementary Satisfiability of Partition Logics
✍ 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.