Օբյեկտ
Վերնագիր: On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets
Ամփոփում:
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.
Նույնականացուցիչ:
oai:noad.sci.am:136157
DOI:
10.1109/CSITechnol.2013.6710335
ISBN:
Լեզու:
URL:
Կազմակերպության անվանում:
Institute of Informatics and Automation Problems
Երկիր:
Տարի:
Ժամանակահատված:
Գիտաժողովի անվանում:
Ninth International Conference on Computer Science and Information Technologies
Վայր:
Օբյեկտի հավաքածուներ:
- Digital Library > Ակադեմիական ինստիտուտներ > ՀՀ ԳԱԱ Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ > Գիտաժողովներ
Վերջին անգամ ձևափոխված:
Apr 19, 2021
Մեր գրադարանում է սկսած:
Apr 19, 2021
Օբյեկտի բովանդակության հարվածների քանակ:
32
Օբյեկտի բոլոր հասանելի տարբերակները:
https://noad.sci.am/publication/149659
Ցույց տալ նկարագրությունը RDF ձևաչափով:
Ցույց տալ նկարագրությունը OAI-PMH ձևաչափով։
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| Igor Zaslavsky, On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets | Apr 19, 2021 |
