𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantics of constructions (II) — The initial algebraic approach

✍ Scribed by Yuxi Fu

Publisher
Springer
Year
2001
Tongue
English
Weight
592 KB
Volume
16
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic semantics for the (↔, ¬¬)-frag
Algebraic semantics for the (↔, ¬¬)-fragment of IPC
✍ Katarzyna Słomczyńska 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 151 KB

## Abstract We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the (↔, ¬¬)‐fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.