Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
universal proof system
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
Copyright © 2012-2024 easychair.org. All rights reserved.