𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An algebraic semantics for MOF

✍ Scribed by Artur Boronat; José Meseguer

Publisher
Springer
Year
2010
Tongue
English
Weight
838 KB
Volume
22
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics for Algebraic Operations
Semantics for Algebraic Operations
✍ Gordon Plotkin; John Power 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 170 KB

Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form α x : (T x) n -→ T x provides a definitive semantics for algebraic operations added to the computational λ-calculus. We recall a definition for which w

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.