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 no. 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 no. 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-2023 easychair.org. All rights reserved.