Title: Multi-succedent sequent calculus for intuitionistic epistemic logic.
Authors: Alonderis, Romas
Abstract: 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.
Subjects: SEQUENT calculus; EPISTEMIC logic; COMPUTER science; PROOF theory; HYPOTHESIS
Publication: Lietuvos Matematikos Rinkinys, 2024, Vol 65, Issue Series A, p9
ISSN: 0132-2818
Publication type: Academic Journal
DOI: 10.15388/lmd.2024.37367

Multi-succedent sequent calculus for intuitionistic epistemic logic.

Alonderis, Romas