𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic separation logic

✍ Scribed by H.-H. Dang; P. Höfner; B. Möller

Book ID
113720751
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
517 KB
Volume
80
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic Neighbourhood Logic
Algebraic Neighbourhood Logic
✍ Peter Höfner; Bernhard Möller 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 369 KB
Finitary Algebraic Logic
Finitary Algebraic Logic
✍ Roger D. Maddux 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 713 KB
Finitary algebraic logic II
Finitary algebraic logic II
✍ Roger D. Maddux 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 208 KB

## Abstract This is a supplement to the paper “Finitary Algebraic Logic” [1]. It includes corrections for several errors and some additional results. MSC: 03G15, 03G25.