✦ LIBER ✦

Cut-elimination and interpolation for Ω-logic

✍ Scribed by Jacqueline Vauzeilles

Publisher: Springer
Year: 1988
Tongue: English
Weight: 679 KB
Volume: 27
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01620764

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

✍ Robert A. Bull 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca

A cut elimination theorem for stationary

A cut elimination theorem for stationary logic

✍ M.E. Szabo 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 975 KB

Cut-elimination theorem for relevant log

Cut-elimination theorem for relevant logics

✍ G. E. Mints 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 427 KB

Bounds for cut elimination in intuitioni

Bounds for cut elimination in intuitionistic propositional logic

✍ Jörg Hudelmaier 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 979 KB

Functorial bounds for cut elimination in

Functorial bounds for cut elimination inL βω . I

✍ Ferbus, Marie-Christine 📂 Article 📅 1984 🏛 Springer-Verlag ⚖ 808 KB

Functorial bounds for cut elimination in

Functorial bounds for cut elimination inL βω . II

✍ Ferbus, Marie-Christine 📂 Article 📅 1985 🏛 Springer-Verlag ⚖ 297 KB