首页 > 最新文献

Proceedings of the YSU A: Physical and Mathematical Sciences最新文献

英文 中文
ANALOGUE OF THE ABRAHAM–MINKOWSKI CONTROVERSY IN ELECTRONIC OPTICS 电子光学中亚伯拉罕-闵可夫斯基之争的类比
Pub Date : 2021-12-28 DOI: 10.46991/pysu:a/2021.55.3.169
K. K. Grigoryan
In the problem of electron diffraction by a standing light wave (the Kapitza–Dirac effect), an electronic refractive index can be defined as the ratio of electron momenta in the wave field and outside it. Moreover, both kinetic and canonical electron momenta can be used for this purpose, which corresponds to the Abraham–Minkowski controversy in photonic optics. It is shown that in both cases the same expression for the electronic refractive index is obtained. This is consistent with Barnett's resolution of the Abraham–Minkowski dilemma.
在驻波电子衍射问题(卡皮察-狄拉克效应)中,电子折射率可以定义为波场内外电子动量之比。此外,动能和正则电子动量都可以用于此目的,这与光子光学中的亚伯拉罕-闵可夫斯基争议相对应。结果表明,在这两种情况下,得到了相同的电子折射率表达式。这与巴奈特对亚伯拉罕-闵可夫斯基困境的解决是一致的。
{"title":"ANALOGUE OF THE ABRAHAM–MINKOWSKI CONTROVERSY IN ELECTRONIC OPTICS","authors":"K. K. Grigoryan","doi":"10.46991/pysu:a/2021.55.3.169","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.3.169","url":null,"abstract":"In the problem of electron diffraction by a standing light wave (the Kapitza–Dirac effect), an electronic refractive index can be defined as the ratio of electron momenta in the wave field and outside it. Moreover, both kinetic and canonical electron momenta can be used for this purpose, which corresponds to the Abraham–Minkowski controversy in photonic optics. It is shown that in both cases the same expression for the electronic refractive index is obtained. This is consistent with Barnett's resolution of the Abraham–Minkowski dilemma.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79589016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
INTERVAL VERTEX-COLORINGS OF CACTUS GRAPHS WITH RESTRICTIONS ON VERTICES 具有顶点限制的仙人掌图的区间顶点着色
Pub Date : 2021-11-05 DOI: 10.46991/pysu:a/2021.55.3.160
Albert Kh. Sahakyan, Rafayel R. Kamalian
An interval vertex-coloring of a graph $G$ is a coloring of the vertices of the graph with intervals of integers such that the intervals of any two adjacent vertices do not intersect. In this paper we consider the case, where for each vertex $v$ there is a length $l(v)$ and a set of colors $S(v),$ from which the colors should be and it is required to find an interval vertex-coloring $gamma$ such that for each vertex $v$ the restrictions are met, i.e. $|gamma(v)|=l(v),gamma(v) subseteq S(v) $. We will provide a pseudo-polynomial algorithm for cactus graphs. If it is impossible to have an interval vertex-coloring that satisfies all the restrictions, then the algorithm will tell that as well.
图$G$的区间顶点着色是用整数区间对图的顶点着色,使得任意两个相邻顶点的区间不相交。本文考虑了这样一种情况:对于每个顶点$v$,有一个长度$l(v)$和一组颜色$S(v) $,从这些颜色$中,我们需要找到一个区间顶点着色$gamma$,使得对于每个顶点$v$满足限制,即$|gamma(v)|=l(v),gamma(v) subseteq S(v) $。我们将为仙人掌图提供一个伪多项式算法。如果不可能有一个满足所有限制的区间顶点着色,那么算法也会告诉它。
{"title":"INTERVAL VERTEX-COLORINGS OF CACTUS GRAPHS WITH RESTRICTIONS ON VERTICES","authors":"Albert Kh. Sahakyan, Rafayel R. Kamalian","doi":"10.46991/pysu:a/2021.55.3.160","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.3.160","url":null,"abstract":"An interval vertex-coloring of a graph $G$ is a coloring of the vertices of the graph with intervals of integers such that the intervals of any two adjacent vertices do not intersect. In this paper we consider the case, where for each vertex $v$ there is a length $l(v)$ and a set of colors $S(v),$ from which the colors should be and it is required to find an interval vertex-coloring $gamma$ such that for each vertex $v$ the restrictions are met, i.e. $|gamma(v)|=l(v),gamma(v) subseteq S(v) $. We will provide a pseudo-polynomial algorithm for cactus graphs. If it is impossible to have an interval vertex-coloring that satisfies all the restrictions, then the algorithm will tell that as well.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"15 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80786335","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
ON INDEPENDENT SYSTEMS OF DEFINING RELATIONS FOR FREE BURNSIDE GROUPS OF PERIOD 3 周期为3的自由Burnside群的定义关系的独立系统
Pub Date : 2021-11-05 DOI: 10.46991/pysu:a/2021.55.3.153
Arman A. Bayramyan
We construct systems of independent defining relations for free Burnside groups $B(m,3)$ of ranks $m=2, 3$. The proof for the case $m=2$ is established using the matrix representation of $B(2,3)$. For the case $m=3$ the approach is based on the natural embedding of $B(2,3)$ into $B(3,3)$.
我们构造了秩$m= 2,3 $的自由Burnside群$B(m,3)$的独立定义关系系统。用$B(2,3)$的矩阵表示建立了$m=2$的证明。对于$m=3$的情况,该方法是基于$B(2,3)$自然嵌入到$B(3,3)$。
{"title":"ON INDEPENDENT SYSTEMS OF DEFINING RELATIONS FOR FREE BURNSIDE GROUPS OF PERIOD 3","authors":"Arman A. Bayramyan","doi":"10.46991/pysu:a/2021.55.3.153","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.3.153","url":null,"abstract":"We construct systems of independent defining relations for free Burnside groups $B(m,3)$ of ranks $m=2, 3$. The proof for the case $m=2$ is established using the matrix representation of $B(2,3)$. For the case $m=3$ the approach is based on the natural embedding of $B(2,3)$ into $B(3,3)$.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"3 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82077232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
PARAMETER ESTIMATION FOR OSCILLATORY SYSTEMS 振动系统的参数估计
Pub Date : 2021-08-30 DOI: 10.46991/pysu:a/2021.55.2.131
A. A. Matevosyan, A. G. Matevosyan
Simple harmonic motion was investigated of a rotational oscillating system. The effect of dumping and forcing on motion of the system was examined and measurements were taken. Resonance in a oscillating system was investigated and quality factor of the dumping system was measured at different damping forces using three different methods. Resonance curves were constructed at two different damping forces. A probabilistic model was built and system parameters were estimated from the resonance curves using Stan sampling platform. The quality factor of the oscillating system when the additional dumping was turned off was estimated to be $Q = num{71 pm 1}$ and natural frequency $omega_0 = num{3.105 pm 0.008}, si{persecond}$.
研究了旋转振荡系统的简谐运动。研究了倾倒和强迫对系统运动的影响,并进行了测量。采用三种不同的方法研究了振荡系统的共振特性,并测量了在不同阻尼力下倾倒系统的质量因子。构建了两种不同阻尼力下的共振曲线。利用Stan采样平台建立了概率模型,并根据共振曲线估计了系统参数。当附加倾倒关闭时,估计振荡系统的质量因子为$Q = num{71 pm 1}$,固有频率为$omega_0 = num{3.105 pm 0.008}, si{persecond}$。
{"title":"PARAMETER ESTIMATION FOR OSCILLATORY SYSTEMS","authors":"A. A. Matevosyan, A. G. Matevosyan","doi":"10.46991/pysu:a/2021.55.2.131","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.2.131","url":null,"abstract":"Simple harmonic motion was investigated of a rotational oscillating system. The effect of dumping and forcing on motion of the system was examined and measurements were taken. Resonance in a oscillating system was investigated and quality factor of the dumping system was measured at different damping forces using three different methods. Resonance curves were constructed at two different damping forces. A probabilistic model was built and system parameters were estimated from the resonance curves using Stan sampling platform. The quality factor of the oscillating system when the additional dumping was turned off was estimated to be $Q = num{71 pm 1}$ and natural frequency $omega_0 = num{3.105 pm 0.008}, si{persecond}$.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79863877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
AVERAGED CONTROLLABILITY OF THERMOELASTICITY EQUATIONS. AVERAGE STATE OF A RECTANGULAR PLATE 热弹性方程的平均可控性。矩形板的平均状态
Pub Date : 2021-08-30 DOI: 10.46991/pysu:a/2021.55.2.123
S. Jilavyan, A. Khurshudyan
The concept of averaged controllability has been introduced relatively recently aiming to analyse the controllability of systems or processes containing some important parameters that may affect the controllability in usual sense. The averaged controllability of various specific and abstract equations has been studied so far. Relatively little attention has been paid to averaged controllability of coupled systems. The averaged state of a thermoelastic rectangular plate is studied in this paper using the well-known Green's function approach. The aim of the paper is to provide a theoretical background for further exact and approximate controllability analysis of fully coupled thermoelasticity equations which will appear elsewhere.
平均可控性的概念是最近才提出的,目的是分析包含一些通常意义上可能影响可控性的重要参数的系统或过程的可控性。各种具体的和抽象的方程的平均可控性到目前为止已经得到了研究。耦合系统的平均可控性研究相对较少。本文采用格林函数法研究了热弹性矩形板的平均状态。本文的目的是为将来在其他地方出现的完全耦合热弹性方程的进一步精确和近似可控性分析提供理论背景。
{"title":"AVERAGED CONTROLLABILITY OF THERMOELASTICITY EQUATIONS. AVERAGE STATE OF A RECTANGULAR PLATE","authors":"S. Jilavyan, A. Khurshudyan","doi":"10.46991/pysu:a/2021.55.2.123","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.2.123","url":null,"abstract":"The concept of averaged controllability has been introduced relatively recently aiming to analyse the controllability of systems or processes containing some important parameters that may affect the controllability in usual sense. The averaged controllability of various specific and abstract equations has been studied so far. Relatively little attention has been paid to averaged controllability of coupled systems. The averaged state of a thermoelastic rectangular plate is studied in this paper using the well-known Green's function approach. The aim of the paper is to provide a theoretical background for further exact and approximate controllability analysis of fully coupled thermoelasticity equations which will appear elsewhere.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"77 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90970287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
INTERVAL EDGE-COLORINGS OF TREES WITH RESTRICTIONS ON THE EDGES 在边缘上有限制的树的区间边着色
Pub Date : 2021-07-26 DOI: 10.46991/pysu:a/2021.55.2.113
Albert Kh. Sahakyan, Rafayel R. Kamalian
An edge-coloring of a graph $G$ with consecutive integers $c_1,ldots,c_t$ is called an interval t-coloring, if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable, if it has an interval t-coloring for some positive integer $t$. In this paper, we consider the case, where there are restrictions on the edges of the tree and provide a polynomial algorithm for checking interval colorability that satisfies those restrictions.
具有连续整数$c_1,ldots,c_t$的图$G$的边着色称为区间t着色,如果使用所有的颜色,并且与$G$的任意顶点相关的边的颜色是不同的,并且形成一个整数区间。一个图$G$是区间可着色的,如果它对某个正整数$t$具有区间t着色。在本文中,我们考虑了树的边缘存在限制的情况,并提供了一个多项式算法来检验满足这些限制的区间可着色性。
{"title":"INTERVAL EDGE-COLORINGS OF TREES WITH RESTRICTIONS ON THE EDGES","authors":"Albert Kh. Sahakyan, Rafayel R. Kamalian","doi":"10.46991/pysu:a/2021.55.2.113","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.2.113","url":null,"abstract":"An edge-coloring of a graph $G$ with consecutive integers $c_1,ldots,c_t$ is called an interval t-coloring, if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable, if it has an interval t-coloring for some positive integer $t$. In this paper, we consider the case, where there are restrictions on the edges of the tree and provide a polynomial algorithm for checking interval colorability that satisfies those restrictions.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"109 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81643944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
MOMENTUM OF AN ELECTROMAGNETIC WAVE IN TIME-VARYING DIELECTRIC MEDIA 时变介质中电磁波的动量
Pub Date : 2021-01-01 DOI: 10.46991/pysu:a/2021.55.2.148
K. K. Grigoryan
In the context of the Abraham–Minkowski controversy, the problem of the propagation of electromagnetic waves in a linear dielectric medium with a time-varying dielectric constant is considered. It is shown that the momentum of an electromagnetic wave in the form of Minkowski is preserved with an instantaneous change in the dielectric permittivity of the medium. At the same time, the Abraham momentum is not conserved, despite the spatial homogeneity of the problem. This circumstance is interpreted as a manifestation of the Abraham force.
在亚伯拉罕-闵可夫斯基争论的背景下,考虑了电磁波在具有时变介电常数的线性介质中的传播问题。证明了电磁波的闵可夫斯基动量随介质介电常数的瞬时变化而保持不变。同时,亚伯拉罕动量不守恒,尽管问题的空间同质性。这种情况被解释为亚伯拉罕力量的表现。
{"title":"MOMENTUM OF AN ELECTROMAGNETIC WAVE IN TIME-VARYING DIELECTRIC MEDIA","authors":"K. K. Grigoryan","doi":"10.46991/pysu:a/2021.55.2.148","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.2.148","url":null,"abstract":"In the context of the Abraham–Minkowski controversy, the problem of the propagation of electromagnetic waves in a linear dielectric medium with a time-varying dielectric constant is considered. It is shown that the momentum of an electromagnetic wave in the form of Minkowski is preserved with an instantaneous change in the dielectric permittivity of the medium. At the same time, the Abraham momentum is not conserved, despite the spatial homogeneity of the problem. This circumstance is interpreted as a manifestation of the Abraham force.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"30 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84133029","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
THE RADIATIVE CORRECTIONS ACCOUNTING IN THE REACTION NEAR-THRESHOLD OF $J/psi$ PHOTOPRODUCTION 光生产近阈值反应的辐射修正计算
Pub Date : 2021-01-01 DOI: 10.46991/pysu:a/2021.55.2.141
D. A. Martiryan
The use of the method developed in the CLAS collaboration (Jefferson Lab, USA) of improving leptons momentum for more correct studies of final state selection of quasi-real photoproduction resulting from the reaction to near threshold photoproduction of the $J/psi$ meson is described. The radiation photons that were detected in electromagnetic calorimeter were studied with electrons and positrons accompanied them in very narrow angles. The method of radiated photon selection of $e^+ e^- p^{prime}(e^{prime})$ reaction is given, where $e^+ e^-$ lepton pair is formed during the decay of $J/psi$ meson.
本文描述了在CLAS合作(Jefferson Lab, USA)中开发的改善轻子动量的方法,用于更正确地研究由$J/psi$介子的近阈值光产生反应引起的准实光产生的最终状态选择。对电磁量热计探测到的辐射光子进行了研究,电子和正电子以极窄的角度伴随光子。给出了$e^+ e^- p^{prime}(e^{prime})$反应的辐射光子选择方法,其中$e^+ e^-$轻子对是在$J/psi$介子衰变过程中形成的。
{"title":"THE RADIATIVE CORRECTIONS ACCOUNTING IN THE REACTION NEAR-THRESHOLD OF $J/psi$ PHOTOPRODUCTION","authors":"D. A. Martiryan","doi":"10.46991/pysu:a/2021.55.2.141","DOIUrl":"https://doi.org/10.46991/pysu:a/2021.55.2.141","url":null,"abstract":"The use of the method developed in the CLAS collaboration (Jefferson Lab, USA) of improving leptons momentum for more correct studies of final state selection of quasi-real photoproduction resulting from the reaction to near threshold photoproduction of the $J/psi$ meson is described. The radiation photons that were detected in electromagnetic calorimeter were studied with electrons and positrons accompanied them in very narrow angles. The method of radiated photon selection of $e^+ e^- p^{prime}(e^{prime})$ reaction is given, where $e^+ e^-$ lepton pair is formed during the decay of $J/psi$ meson.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"41 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76180208","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
CALCULATION OF CENTRAL MOMENTS OF DIFFERENTIAL MELTING CURVE OF DNA MOLECULE DNA分子微分熔化曲线中心矩的计算
Pub Date : 2020-12-18 DOI: 10.46991/pysu:a/2017.51.2.187
R. S. Ghazaryan, S. Hakobyan, M. Shahinyan
Central moments of function of the differential melting curve (DMC) of DNA have been calculated through expansion of block DNA DMC to Gaussian components. Calculations showed that the first moment of DNA DMC characterizes the melting temperature, the second is DNA melting interval. Central moments of the third and fourth orders characterize distribution of nucleotides along DNA chain. It was shown that the distribution of nucleotides along DNA chain differs from quasi-arbitrary distribution.
将DNA的块DNA微分熔化曲线(DMC)展开为高斯分量,计算了DMC函数的中心矩。计算结果表明,DNA DMC的第一时刻表征了DNA的熔化温度,第二时刻表征了DNA的熔化间隔。第三和第四阶的中心矩表征了核苷酸沿DNA链的分布。结果表明,核苷酸沿DNA链的分布不同于准任意分布。
{"title":"CALCULATION OF CENTRAL MOMENTS OF DIFFERENTIAL MELTING CURVE OF DNA MOLECULE","authors":"R. S. Ghazaryan, S. Hakobyan, M. Shahinyan","doi":"10.46991/pysu:a/2017.51.2.187","DOIUrl":"https://doi.org/10.46991/pysu:a/2017.51.2.187","url":null,"abstract":"Central moments of function of the differential melting curve (DMC) of DNA have been calculated through expansion of block DNA DMC to Gaussian components. Calculations showed that the first moment of DNA DMC characterizes the melting temperature, the second is DNA melting interval. Central moments of the third and fourth orders characterize distribution of nucleotides along DNA chain. It was shown that the distribution of nucleotides along DNA chain differs from quasi-arbitrary distribution.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"27 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73370636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS 一些经典和非经典命题证明系统的非单调性质
Pub Date : 2020-12-15 DOI: 10.46991/pysu:a/2020.54.3.127
A. Chubaryan, A. Hambardzumyan
We investigate the relations between the proof lines of non-minimal tautologies and its minimal tautologies for the Frege systems, the sequent systems with cut rule and the systems of natural deductions of classical and nonclassical logics. We show that for these systems there are sequences of tautologies ψn, every one of which has unique minimal tautologies φn such that for each n the minimal proof lines of φn are an order more than the minimal proof lines of ψn.
研究了经典逻辑和非经典逻辑的Frege系统、带切割规则的相继系统和自然演绎系统的非极小重言式及其极小重言式的证明线之间的关系。我们证明了对于这些系统存在重言式序列ψn,其中每一个重言式序列都有唯一的最小重言式φn,使得对于每一个n, φn的最小证明线比ψn的最小证明线多一个阶。
{"title":"ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS","authors":"A. Chubaryan, A. Hambardzumyan","doi":"10.46991/pysu:a/2020.54.3.127","DOIUrl":"https://doi.org/10.46991/pysu:a/2020.54.3.127","url":null,"abstract":"We investigate the relations between the proof lines of non-minimal tautologies and its minimal tautologies for the Frege systems, the sequent systems with cut rule and the systems of natural deductions of classical and nonclassical logics. We show that for these systems there are sequences of tautologies ψn, every one of which has unique minimal tautologies φn such that for each n the minimal proof lines of φn are an order more than the minimal proof lines of ψn.","PeriodicalId":21146,"journal":{"name":"Proceedings of the YSU A: Physical and Mathematical Sciences","volume":"161 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75979089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Proceedings of the YSU A: Physical and Mathematical Sciences
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1