Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
many-valued logic
Papers
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
Copyright © 2012-2023 easychair.org. All rights reserved.