Օբյեկտ
Վերնագիր: Some new propositional proof systems for intuitionistic and minimal logics
Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
սեղմիր այստեղ կապին հետևելու համար
Coverage:
Publisher:
Date created:
Format:
Identifier:
oai:arar.sci.am:258738
Location of original object:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Օբյեկտի հավաքածուներ:
Վերջին անգամ ձևափոխված:
Aug 18, 2025
Մեր գրադարանում է սկսած:
Jul 24, 2020
Օբյեկտի բովանդակության հարվածների քանակ:
14
Օբյեկտի բոլոր հասանելի տարբերակները:
https://arar.sci.am/publication/281847
Ցույց տուր նկարագրությունը RDF ձևաչափով:
Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։
-
ՀՀ ԳԱԱ Շարունակական հրատարակություններ
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
-
Գրական բանասիրական հետախուզումներ=Литературные разыскания
-
Գրականագիտական հանդես = Литературный журнал = Literary Journal
-
Լեզվի և ոճի հարցեր = Вопросы языка и стиля
-
Լեզու և լեզվաբանություն= Язык и языкознание= Language and linguistics
-
ՀՍՍՌ ԳԱ Ն. Մառի անվան լեզվի ինստիտուտ. Աշխատությունների ժողովածու= Институт языка им. Н. Я. Марра АН АрмССР. Сборник трудов
-
Հայոց ցեղասպանության պատմության և պատմագրության հարցեր = Вопросы истории и историографии Геноцида армян=The issues of the history and historiography of the Armenian Genocide
-
ՀՀ ԳԱԱ Շիրակի հայագիտական հետազոտությունների կենտրոն. Գիտական աշխատություններ= Ширакский центр арменоведческих исследований НАН РА. Научные труды = Shirak Centre of Armenological Studies of NAS RA․ Scientific works
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք (Լրակազմեր) = Шекспиракан. Армянский шекспировский ежегодник
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք = Шекспиракан. Армянский шекспировский ежегодник
-
Հնագիտության և ազգագրության ինստիտուտի աշխատություններ = Proceedings of the Institute of Archaeology and Ethnography = Труды Института археологии и этнографии
-
Աշխատություններ փիլիսոփայության և իրավունքի ինստիտուտի
-
ԿԱՆԹԵՂ. Գիտական հոդվածների ժողովածու =КАНТЕХ. Научные труды =KANTEGH. Articles
-
«Կաճառ» Գիտական հոդվածների ժողովածու. ՀՀ ԳԱԱ Գիտակրթական միջազգային կենտրոն = ״Качар״ Сборник научных трудов. НАН РА Международный научно-образовательный центр =“Katchar” Collection of Scientific Articles. International Scientific-Educational Center NAS RA
-
ՀՀ ԳԱԱ երիտասարդ գիտաշխատողների հոդվածների ժողովածու= Сборник статей молодых научных сотрудников НАН РА= Collection օf Articles օf the Young Researchers օf NAS RA
-
Ժամանակակից Եվրասիա = Contemporary Eurasia
-
Սոցիալ-տնտեսական զարգացման արդի հիմնախնդիրները Հայաստանի Հանրապետությունում =Современные проблемы социaльно-экономического развития в Республике Армения =The contemporary issues of socioeconomic development in the Republic of Armenia
-
ՀՀ ԳԱԱ Գ. Ս. Դավթյանի անվան հիդրոպոնիկայի պրոբլեմների ինստիտուտ. Հաղորդումներ= Институт проблем гидропоники им. Г. С.Давтяна НАН РА. Сообщения= G. S. Davtyan Institute of Hydroponics Problems NAS RA. Communications
-
Խաղողագործության, գինեգործության և պտղաբուծության հայկական գիտահետազոտական ինստիտուտի աշխատություններ = Труды Армянского научно-исследовательского института виноградарства, виноделия и плодоводства
-
ՀՍՍՌ ԳԱ Հայ բժշկության և բիոլոգիայի պատմության սեկտոր. Աշխատություններ=Сектор истории армянской медицины и биологии АН Арм. ССР. Труды
-
АН СССР-Армянский филиал. Труды биологического института=Բիոլոգիայի ինստիտուտի աշխատություններ =Transactions of the Biological Institute
-
Лаборатория индуцированного мутагенеза растений․ АН Арм. ССР: Институт Экспериментальной биологии. АН Арм. ССР = Բույսերի ինդուկցված մուտագենեզի լաբորատորիա․ ՀՍՍՀ ԳԱ: Փորձարարական կենսաբանության ինստիտուտ․ ՀՍՍՀ ԳԱ
-
АН Армянской ССР. Ботанический сад. Бюллетень=Հայկական ՍՍՌ ԳԱ Բուսաբանական այգի. Բյուլետեն
-
АН Армянской ССР. Бюраканская оптико-механическая лаборатория= ՀՍՍՀ ԳԱ. Բյուրականի օպտիկա-մեխանիկական լաբորատորիա
-
Сборник научных трудов. Флора, растительность и растительные ресурсы.Тахтаджяния=Գիտական աշխատությունների ժողովածու: Հայաստանի ֆլորան, բուսականությունը և բուսական ռեսուրսները: Թախտաջանիա
-
Зоологический сборник = Կենդանաբանական ժողովածու = Zoological Papers
-
Միկրոբիոլոգիական ժողովածու: Գյուղատնտեսական և արդյունաբերական միկրոբիոլոգիայի հարցեր: Միկրոբիոլոգիայի հարցեր = Микробиологический сборник. Вопросы сельскохозяйственной и промышленной микробиологии. Вопросы микробиологии
-
Севанская озерная станция. Труды: Севанская гидробиологическая станция. Труды=Սևանի ջրակենսաբանական կայան. Աշխատություններ
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն (Լրակազմեր) = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Математические вопросы кибернетики и вычислительной техники, 1964
-
Математические вопросы кибернетики и вычислительной техники, 1965
-
Математические вопросы кибернетики и вычислительной техники, 1966
-
Математические вопросы кибернетики и вычислительной техники, 1968
-
Математические вопросы кибернетики и вычислительной техники, 1972
-
Математические вопросы кибернетики и вычислительной техники, 1975
-
Математические вопросы кибернетики и вычислительной техники, 1979
-
Математические вопросы кибернетики и вычислительной техники, 1982
-
Математические вопросы кибернетики и вычислительной техники, 1984
-
Математические вопросы кибернетики и вычислительной техники, 1985
-
Математические вопросы кибернетики и вычислительной техники, 1986
-
Математические вопросы кибернетики и вычислительной техники, 1988
-
Математические вопросы кибернетики и вычислительной техники, 1997
-
Математические вопросы кибернетики и вычислительной техники, 1998
-
Математические вопросы кибернетики и вычислительной техники, 2000
-
Математические вопросы кибернетики и вычислительной техники, 2001
-
Математические вопросы кибернетики и вычислительной техники, 2004
-
Математические вопросы кибернетики и вычислительной техники, 2005
-
Математические вопросы кибернетики и вычислительной техники, 2006
-
Математические вопросы кибернетики и вычислительной техники, 2007
-
Математические вопросы кибернетики и вычислительной техники, 2008
-
Математические вопросы кибернетики и вычислительной техники, 2009
-
Математические вопросы кибернетики и вычислительной техники, 2010
-
Математические вопросы кибернетики и вычислительной техники, 2011
-
Математические вопросы кибернетики и вычислительной техники, 2012
-
Математические вопросы кибернетики и вычислительной техники, 2012, 36
-
Математические вопросы кибернетики и вычислительной техники, 2012, 37
-
Математические вопросы кибернетики и вычислительной техники, 2012, 38
- About order 3 hypergroups over group which arise from groups of order 18
- Advanced combinatorial optimization
- A fixed point theorem for q-lattices
- Algebras with fuzzy operations
- Distributivity in symmetric constructive full lambek calculus
- Dynamic geometry of some polynomials
- Extensions of Markov`s constructive continuum and uniform continuity of constructive functions
- Igor D. Zaslavsky
- Information-theoretic approach to biometric identification problem
- Many hypotheses parallel distributed detection of the pair of families of probability distributions
- Membership functions or α-cuts? Algorithmic (constructivist) analysis justifies an interval approach
- Modeling FIFO queues by dynamic Petri Nets
- On a neo-logicistic conception of natural number
- On a property of the n-dimensional cube
- On hypergraph degree sequence characterisation
- On long cycles in digraphs with the meyniel-type conditions
- On medial-like functional equations
- On models of meaning processing
- On random coding bound for E-capacity region of the broadcast channel with confidential messages
- On some systems of minimal propositional logic with loop detection mechanisms
- On the algebras with hyperidentities of the variety of de Morgan Algebras.
- On the formalization of scientific theories
- On the hierarchies of some propositional systems for classical and non-classical logics
- On turing completeness of one minimal set of built-in functions for functional programming languages
- Partition and coloring in design of quasigroup equipped error-detecting codes
- Pauly matrix and transformation operators for dirac system
- Remarks on evolutionary hamiltonian graph theory
- Rules for authors
- Some new propositional proof systems for intuitionistic and minimal logics
- Асимметрия и ядро кодированного метрического пространства
- Зависимость бесконечномерных гомотопических групп от выбора базисной точки
- Максимальное взвешенное независимое множество прямоугольников
- Новые логические связки в суперинтуиционистских логиках; подход П. С. Новикова
- Об асимптотических оценках числа решений систем булевых уравнений с зависимыми переменными
- Общее решение симметрических уравнений с четной степенью в свободном моноиде
- О методе нахождения точных оценок длин выводов в системах Туэ
- О минимальных и максимально тупиковых n-распознающих системах натуральных чисел
- О некоторых нелинейных бесконечных систем алгебраических уравнений с матрицами типа теплица-ганкеля
- О представлении β-равномерных алгебр
- О стратификации множества отображений групп
- О структуре Ric-полусимметрических подмногообразий
- О существовании композиций для бесконечномерной вещественной знакопеременной квадратичной формы
- Свободные А-биполугруппы
- Содержание
- Խմբագրական խորհուրդ
- Խմբագրության կողմից
-
Математические вопросы кибернетики и вычислительной техники, 2012, 36
-
Математические вопросы кибернетики и вычислительной техники, 2013
-
Математические вопросы кибернетики и вычислительной техники, 2014
-
Математические вопросы кибернетики и вычислительной техники, 2015
-
Математические вопросы кибернетики и вычислительной техники, 2016
-
Математические вопросы кибернетики и вычислительной техники, 2017
-
Математические вопросы кибернетики и вычислительной техники, 2018
-
Математические вопросы кибернетики и вычислительной техники, 2019
-
Математические вопросы кибернетики и вычислительной техники, 2020
-
Математические вопросы кибернетики и вычислительной техники, 2021
-
Математические вопросы кибернетики и вычислительной техники, 2022
-
Математические вопросы кибернетики и вычислительной техники, 2023
-
Mathematical problems of computer science, 2024
-
Mathematical problems of computer science, 2025
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Сообщения института математики и механики= Մաթեմատիկայի և մեխանիկայի ինստիտուտի հաղորդումներ= Bulletin of the Institute of Mathematics and Mechanics
-
Գեոմեխանիկայի պրոբլեմներ =Проблемы геомеханики =Problems of geomechanics Գեոմեխանիկայի
-
Бюллетень по инженерной сейсмологии = Բյուլետեն ինժեներային սեյսմոլոգիայի
-
Труды ботанического института Академии наук Армянской ССР=Աշխատություններ Հայկական ՍՍՌ Գիտությունների ակադեմիայի բուսաբանական ինստիտուտի=Acta Instituti Botanici Academiae Scientiarum SSR Armeniae
-
Труды геологического института=Երկրաբանական ինստիտուտի աշխատություններ
-
Записки всесоюзного минералогического общества. Армянское отделение =Համամիութենական միներալոգիական ընկերության հայկական բաժանմունքի զեկուցագրեր
-
Ցեղասպանագիտական հանդես
-
Հասարակագիտական միտքը արդի ժամանակաշրջանում
-
Արեւելաասիական ուսումնասիրություններ=Eastern Asian Studies
-
ՀՀ ԳԱԱ Հ. Աճառյանի անվան լեզվի ինստիտուտի տեղեկագիրք=Directory of Institute of Language After H. Acharyan=Ведомости института языка имени Р. Ачаряна
-
Հայկական ՍՍՌ ԳԱ Ֆիզիոլոգիայի ինստիտուտ. Աշխատություններ: Բարձրագույն ներվային գործունեության հարցեր = Институт Физиологии АН Арм. ССР. Труды. Вопросы высшей нервной деятельности
-
International Journal of Armenian Genocide Studies=Հայոց ցեղասպանության ուսումնասիրության միջազգային հանդես
-
«Լոռե բերդից մինչև Ստեփանավան. պատմամշակութային ժառանգության հետքերով» և «ՀՀ ԳԱԱ պատմության ինստիտուտի երիտասարդ գիտաշխատողների խորհրդի XLIII գիտական նստաշրջան՝ նվիրված Սիմոն Կրկյաշարյանի ծննդյան 100-ամյակին»
-
Հայագիտական ընթերցումներ. Գիտական հոդվածների ժողովածու=Арменоведческие чтения. Сборник научных трудов=Armenological readings. Collection of scientific articles
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| Some new propositional proof systems for intuitionistic and minimal logics | Aug 18, 2025 |
