Keyword:sequent system

Papers
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint no. 7080
On Three Types of Universal Propositional Proof Systems for All Versions of Many-Valued Logics and Some Its Properties Anahit Chubaryan, Hakob Nalbandyan and Artur Khamisyan EasyChair Preprint no. 3994