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