Year: 2019
Type: preprint
Abstract: We present a rooted hypersequent calculus for modal propositional logic S5. We show that all rules of this calculus are invertible and that the rules of weakening, contraction, and cut are admissible. Soundness and completeness are established as well.
Source: arXiv (Cornell University)
Authors: Aghaei, Mojtaba, Mohammadi, Hamzeh
Institution: Isfahan University of Technology
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4381491930