HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Artur Khamisyan

Publications
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

Keyphrases

Elimination system, many-valued logic, sequent system, splitting method, universal proof system.

Copyright © 2012-2025 easychair.org. All rights reserved.