Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.