Անվանում:
Հեղինակ:
Տեսակ:
Չվերահսկվող բանալի բառեր:
Symmetric constructive logic ; Recursively enumerable set ; RES-ideal ; RED-ideal ; Predicate calculus ; Predicate formula
Ամփոփում:
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:
Լեզու:
URL:
Կազմակերպության անվանում:
Institute of Informatics and Automation Problems
Երկիր:
Տարի:
Ժամանակահատված:
Գիտաժողովի անվանում:
Ninth International Conference on Computer Science and Information Technologies