Object
Title: Ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանություն ; Обобщенная нечеткая конструктивная логика
Abstract:
Դիտարկվում է ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ, որտեղ տրամաբանական արժեքները կազմում են մասնակի կարգավորված բազմություն: Սահմանվում է ճշմարտության ալգորիթմական սանդղակի գաղափարը (կարճ, Ա-սանդղակ), և այդ գաղափարի հիման վրա կառուցվում է ընդհանրացված ոչ պարզորոշ կոնստրուկտիվ տրամաբանության համակարգ: Մասնավորապես սահմանվում են պրեդիկատային բանաձևերի ուժեղ և թույլ նույնաբար ճշմարտության գաղափարները տվյալ Ա-սանդղակի նկատմամբ: Ապացուցվում է, որ կոնստրուկտիվ (ինտուիցիոնիստական) պրեդիկատային հաշվում արտածվող որոշակի տիպի յուրաքանչյուր պրեդիկատային բանաձև նույնաբար ճշմարիտ է ուժեղ իմաստով ցանկացած Ասանդղակի նկատմամբ: Մյուս կողմից ապացուցվում է, որ որոշ պրեդիկատային բանաձևեր (որոնք նույնաբար ճշմարիտ են դասական տրամաբանության տեսակետից) նույնաբար ճշմարիտ չեն թույլ իմաստով ցանկացած Ա-սանդղակի նկատմամբ:
Publisher:
ՀՀ ԳԱԱ «ԳԻՏՈՒԹՅՈՒՆ» ՀՐԱՏԱՐԱԿՉՈՒԹՅՈՒՆ
Identifier:
oai:noad.sci.am:135785
Language:
Journal or Publication Title:
URL:
Affiliation:
ՀՀ Գիտությունների ազգային ակադեմիա
Country:
Object collections:
- Digital Library > Academic Insitutions > Insitute for Informatics and Automation Problems of NAS RA > Publications
Last modified:
Mar 3, 2021
In our library since:
Jul 15, 2020
Number of object content hits:
23
All available object's versions:
https://noad.sci.am/publication/149312
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| И. Д. Заславский, 2015, Обобщенная нечеткая конструктивная логика | Mar 3, 2021 |
