𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical Semantics for the Rewriting Calculus

✍ Scribed by Aaron Stump; Carsten Schürmann

Book ID
108126478
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
252 KB
Volume
125
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics, Modularity, and Rewriting Log
Semantics, Modularity, and Rewriting Logic
✍ Peter D. Mosses 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 872 KB

A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extensi

THE JUDGEMENT CALCULUS FOR INTUITIONISTI
THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
✍ Silvio Valentini 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 958 KB

## Abstract In this paper we propose a new set of rules for a judgement calculus, i.e. a typed lambda calculus, based on Intuitionistic Linear Logic; these rules ease the problem of defining a suitable mathematical semantics. A proof of the canonical form theorem for this new system is given: it as

CCS Semantics via Proved Transition Syst
CCS Semantics via Proved Transition Systems and Rewriting Logic
✍ Georgia Carabetta; Pierpaolo Degano; Fabio Gadducci 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 959 KB

We consider (a slight v ariant of) the ccs calculus, and we analyze two operational semantics de ned in the literature: the rst exploits Proved Transition Systems (pts) and the second Rewriting Logic (rl). We s h o w that the interleaving interpretation of both semantics agree, in that they de ne th