HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Anahit Chubaryan

Publications
On Monotonous and Strongly Monotonous Properties of Some Propositional Proof Systems for Different Logics
Anahit Chubaryan, Sergey Sayadyan and Arsen Hambardzumyan
EasyChair Preprint 3995
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, minimal tautology, monotonous proof system, sequent system, splitting method, strongly monotonous proof system, universal proof system.

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