Year: 2017
Type: preprint
Abstract: We present the system G3S5, a Gentzen-style sequent calculus system for the modal propositional logic S5, which in a sense has the subformula property. We formulate the rules of G3 S5 in the system G3S5; which has the subformula property and prove the admissibility of the weakening, contraction and cut rules for it.
Source: arXiv (Cornell University)
Authors: Aghaei, Mojtaba, Mohammadi, Hamzeh
Institution: Isfahan University of Technology
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2770822309