Search

• < Previous
• 1
• Next >

---

Generic Modal Cut Elimination Applied to Conditional Logics

Dirk Pattinson ; Lutz Schröder.

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal&nbsp;[&hellip;]

---

Bootstrapping Inductive and Coinductive Types in HasCASL

Lutz Schröder.

We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL's type class mechanism, and we describe constructions of&nbsp;[&hellip;]

---