HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.