M Tesi

Sequents vs Hypersequents for Åqvist Systems

2024 · Lecture notes in computer science

Abstract Enhancing cut-free expressiveness through minimal structural additions to sequent calculus is a natural step. We focus on Åqvist’s system $$\textbf{F}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>F</mml:mi> </mml:math> with cautious monotonicity ( CM ), a deontic logic extension …