| Title |
Multi-succedent sequent calculus for intuitionistic epistemic logic / |
| Translation of Title |
Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai. |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMD.2024.37367 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Ser. A.. Vilnius : Vilniaus universiteto leidykla. 2024, t. 65, p. 9-17.. ISSN 0132-2818. eISSN 2335-898X |
| Abstract [eng] |
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. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2024 |
| CC license |
|
