HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Arsen Hambardzumyan

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

Keyphrases

minimal tautology, monotonous proof system, strongly monotonous proof system.

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