Work

Multi-succedent sequent calculus for intuitionistic epistemic logic

Year: 2024

Type: article

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.

Source: Lietuvos matematikos rinkinys

DOI: 10.15388/lmd.2024.37367

Author: Romas Alonderis

Institution: Vilnius University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4405221070

FWCI:

Cites: 8

Cited by:

Related to: 10