#### Title:

#### Author:

#### Type:

#### Uncontrolled Keywords:

Symmetric constructive logic ; Recursively enumerable set ; RES-ideal ; RED-ideal ; Predicate calculus ; Predicate formula

#### 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.

#### DOI:

10.1109/CSITechnol.2013.6710335

#### ISBN:

#### Language:

#### URL:

#### Affiliation:

Institute of Informatics and Automation Problems

#### Country:

#### Year:

#### Time period:

#### Conference title:

Ninth International Conference on Computer Science and Information Technologies