HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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