TY - GEN
A1 - Zaslavsky Igor
N2 - Some semantics of the predicate formulas in the framework of the symmetric constructive logic [1] is defined. The following theorems are proved: (1) any predicate formula deducible in the symmetric constructive predicate calculus is identically true in the sense of the introduced semantics; (2) some predicate formulas not deducible in the mentioned calculus are not identically true in the sense of this semantics.
L1 - http://noad.sci.am/Content/136157/63.pdf
L2 - http://noad.sci.am/Content/136157
T1 - On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets
UR - http://noad.sci.am/dlibra/docmetadata?id=136157
ER -