Օբյեկտ

Վերնագիր: On the logical semantics of the symmetric constructive logic based on the properties of recursively enumerable sets

Հեղինակ:

Zaslavsky Igor

Տեսակ:

Conference

Ամփոփում:

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:

978-1-4799-2460-8

Լեզու:

English

URL:


Կազմակերպության անվանում:

Institute of Informatics and Automation Problems

Երկիր:

Armenia

Տարի:

2013

Ժամանակահատված:

23-27 September

Գիտաժողովի անվանում:

Ninth International Conference on Computer Science and Information Technologies

Վայր:

Yerevan

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Apr 19, 2021

Մեր գրադարանում է սկսած:

Apr 19, 2021

Օբյեկտի բովանդակության հարվածների քանակ:

5

Օբյեկտի բոլոր հասանելի տարբերակները:

https://noad.sci.am/publication/149659

Ցույց տալ նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տալ նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն