The Calculus of Structures - Modal Logics
Edit Page
Report
Scan day: 17 February 2014 UTC
-7
Virus safety - good
Description: Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
This page is no longer updated, please refer to Deep Inference and the Calculus of Structures We can present systematically several normal propositional modal logics, including S5, B and K5, for which cut elimination is proved. We also investigated geometric theories, some of which we expressed in the calculus of structures. A new formalism called `deep sequents´ has been defined, which is especially suitable to modal logics.
Size: 429 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | DI & CoS - Modal Logic |
| Keywords: | |
| Description: | |
| IP-address: | 195.110.124.188 |