Keyword:sequent system

Publications
Reasoning About Group Polarization: From Semantic Games to Sequent Systems Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint 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 3994