𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gentzen-style axiomatizations in equational logic

✍ Scribed by K. Palasińska; D. Pigozzi

Book ID
105115148
Publisher
Springer
Year
1995
Tongue
English
Weight
773 KB
Volume
34
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded contraction and Gentzen-style fo
Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
✍ Andreja Prijatelj 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 834 KB

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n > 2) is a version of the contraction rule where (n + 1) occurrences of a formula may be contracted to n occurrences. We show that

Reflection in Membership Equational Logi
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 254 KB

We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational log