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

Download data is not yet available.

Downloads

Published

2002-07-15

Issue

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

Section

Informatics

License

Copyright (c) 2002 Proceedings of the YSU

Creative Commons 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