HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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.