Multi-succedent sequent calculus for intuitionistic epistemic logic
A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is proved that the structural rules of weakening and contraction and the rule of cut are admissible in the calculus. It is also proved that any sequent with at most one formula in succedent...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2024-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://ojs.test/index.php/LMR/article/view/37367 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841561094968049664 |
|---|---|
| author | Romas Alonderis |
| author_facet | Romas Alonderis |
| author_sort | Romas Alonderis |
| collection | DOAJ |
| description |
A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is proved that the structural rules of weakening and contraction and the rule of cut are admissible in the calculus. It is also proved that any sequent with at most one formula in succedent is derivable in the calculus, iff it is derivable in the standard non-multi-succedent sequent calculus of IEL.
|
| format | Article |
| id | doaj-art-1f167062db4047279600f875c801d3be |
| institution | Kabale University |
| issn | 0132-2818 2335-898X |
| language | English |
| publishDate | 2024-12-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj-art-1f167062db4047279600f875c801d3be2025-01-03T06:33:48ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2024-12-0165A10.15388/LMD.2024.37367Multi-succedent sequent calculus for intuitionistic epistemic logicRomas Alonderis0https://orcid.org/0000-0002-7792-5285Vilnius University A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is proved that the structural rules of weakening and contraction and the rule of cut are admissible in the calculus. It is also proved that any sequent with at most one formula in succedent is derivable in the calculus, iff it is derivable in the standard non-multi-succedent sequent calculus of IEL. https://ojs.test/index.php/LMR/article/view/37367intuitionistic epistemic logicsequent calculus |
| spellingShingle | Romas Alonderis Multi-succedent sequent calculus for intuitionistic epistemic logic Lietuvos Matematikos Rinkinys intuitionistic epistemic logic sequent calculus |
| title | Multi-succedent sequent calculus for intuitionistic epistemic logic |
| title_full | Multi-succedent sequent calculus for intuitionistic epistemic logic |
| title_fullStr | Multi-succedent sequent calculus for intuitionistic epistemic logic |
| title_full_unstemmed | Multi-succedent sequent calculus for intuitionistic epistemic logic |
| title_short | Multi-succedent sequent calculus for intuitionistic epistemic logic |
| title_sort | multi succedent sequent calculus for intuitionistic epistemic logic |
| topic | intuitionistic epistemic logic sequent calculus |
| url | https://ojs.test/index.php/LMR/article/view/37367 |
| work_keys_str_mv | AT romasalonderis multisuccedentsequentcalculusforintuitionisticepistemiclogic |