@misc{Zaslavsky_Igor_On,
 author={Zaslavsky Igor},
 howpublished={online},
 language={English},
 abstract={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.},
 title={On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets},
 type={Conference},
}