RUS  ENG
Full version
JOURNALS // Proceedings of the Yerevan State University, series Physical and Mathematical Sciences // Archive
Proceedings of the YSU, Physical and Mathematical Sciences, 2002 Issue 2, Pages 44–50 (Mi uzeru556)
Informatics

Three-valued predicate calculi with the symbol of uncertainty

H. R. Bolibekyan

Yerevan State University

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.

Keywords: Symmetric constructive logic, mix elimination theorem.

UDC: 510.635+510.644

Received: 17.12.2001
Accepted: 15.07.2002


© Steklov Math. Inst. of RAS, 2024