THREE-VALUED PREDICATE CALCULI WITH THE SYMBOL OF UNCERTAINTY

H. R. Bolibekian

doi:10.46991/PYSUA.2002.36.2.044

THREE-VALUED PREDICATE CALCULI WITH THE SYMBOL OF UNCERTAINTY

Authors

H. R. Bolibekian Chair of Algebraic and Logical Methods of Computer Science, YSU, Armenia

DOI:

https://doi.org/10.46991/PYSUA.2002.36.2.044

Keywords:

equivalence, three-valued predicate, symmetric constructive logic

Abstract

The question of equivalence of three-valued predicate calculi with the symbol of uncertainty of symmetric constructive logic is considered. For one of the considered calculi the mix elimination theorem is proved.

Downloads

Published

2002-07-15

Issue

Vol. 36 No. 2 (198) (2002)

Section

Informatics

License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

How to Cite

Bolibekian, H. R. (2002). THREE-VALUED PREDICATE CALCULI WITH THE SYMBOL OF UNCERTAINTY. Proceedings of the YSU A: Physical and Mathematical Sciences, 36(2 (198), 44-50. https://doi.org/10.46991/PYSUA.2002.36.2.044