纳塔尔·叶夫娜·托莫娃 关于一类(n)值字面值次协调/次完全逻辑。 (俄语。英文摘要) 兹比尔1509.03080 日志。伊斯斯莱德。 26,第2期,144-159(2020).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Tomova},日志。伊斯斯莱德。26,第2号,144--159(2020;Zbl 1509.03080) 全文: 内政部
列奥尼德·尤尔埃维奇·德维亚特金 论贝尔纳普四值逻辑某些展开式的表现力。 (俄语。英文摘要) 兹比尔1509.03076 日志。伊斯斯莱德。 26,第2期,116-143(2020年).MSC公司:03B50号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Devyatkin},日志。伊斯斯莱德。26,第2号,116--143(2020;Zbl 1509.03076) 全文: 内政部
亚历克斯·西特金 具有统一多结论规则的演绎系统。 (英语) Zbl 1509.03034号 日志。伊斯斯莱德。 26,第2期,第87-105页(2020年).MSC公司:03B22号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin},日志。伊斯斯莱德。26,第2号,87--105(2020;Zbl 1509.03034) 全文: 内政部
弗拉基米尔·伊里奇·马金 三段论是两个非空集之间所有关系的逻辑。 (俄语。英文摘要) Zbl 1509.03017号 日志。伊斯斯莱德。 26,第2期,39-57页(2020年).MSC公司:03A05号 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Markin},日志。伊斯斯莱德。26、2号、39-57(2020;Zbl 1509.03017) 全文: 内政部
格列布·维克托洛维奇·卡尔波夫 宽恕是行动逻辑中的一种言语行为。 (俄语。英文摘要) Zbl 1509.03085号 日志。伊斯斯莱德。 26,第2号,9-38(2020).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Karpov},日志。伊斯斯莱德。26,第2号,第9--38号(2020;Zbl 1509.03085) 全文: 内政部
维克托·康斯坦丁诺维奇·芬恩 关于经验模态的逻辑。 (俄语。英文摘要) Zbl 1509.03070号 日志。伊斯斯莱德。 26,第1期,124-143(2020年).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Finn},日志。伊斯斯莱德。26,第1号,124--143(2020;Zbl 1509.03070) 全文: 内政部
贾努斯·丘西乌拉 不完全结石的格子。 (英语) Zbl 1509.03079号 日志。伊斯斯莱德。 26,第1号,110-123(2020).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ciuciura},日志。伊斯斯莱德。26,第1号,110-123(2020;Zbl 1509.03079) 全文: 内政部
布鲁诺·R·门登萨。;沃尔特·卡尼埃利。 urn逻辑的新语义:驯服持久的演绎丑闻。 (英语) 兹比尔1509.03083 日志。伊斯斯莱德。 26,第1期,91-109(2020年).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Mendonça}和\textit{W.a.Carnielli},Log。伊斯斯莱德。26,第1号,91--109(2020;Zbl 1509.03083) 全文: 内政部
珍妮·伊夫·贝齐奥 从普遍逻辑的角度来看,有很多价值。 (英语) 兹比尔1509.03075 日志。伊斯斯莱德。 26,No.1,78-90(2020).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥},日志。伊斯斯莱德。26,第1号,78--90(2020;Zbl 1509.03075) 全文: 内政部
伊尔卡·尼尼洛托 作为命题态度的感知、记忆和想象。 (英语) 兹比尔1509.03064 日志。伊斯斯莱德。 26,第1期,36-47页(2020年).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{I.Niiniluoto},日志。伊斯斯莱德。26,第1号,36-47(2020;Zbl 1509.03064) 全文: 内政部
迪德里克·巴滕斯 为给定的可废止规则设计一组异常。 (英语) Zbl 1509.03081号 日志。伊斯斯莱德。 26,第1号,9-35(2020).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Batens},日志。伊斯斯莱德。26,编号1,9-35(2020;兹bl 1509.03081) 全文: 内政部
尼科莱·内佩伊沃达 变形是逻辑解决的内在部分。 (英语) Zbl 1446.03016号 日志。伊斯斯莱德。 25,第1期,第120-130页(2019年).MSC公司:03A05号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{N.Nepejvoda},日志。伊斯斯莱德。25,编号1201-130(2019;兹bl 1446.03016) 全文: 内政部
乔尔吉·贾普里泽 可计算逻辑:给凯撒什么属于凯撒。 (英语) Zbl 1446.03065号 日志。伊斯斯莱德。 25,第1号,100-119(2019).MSC公司:03B70号 03B20型 03B47号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},日志。伊斯斯莱德。25,编号1100-119(2019;兹bl 1446.03065) 全文: 内政部 arXiv公司
伊戈尔·戈布诺夫(Igor A.Gorbunov)。 拟正规模态逻辑的有限公理化性。 (俄语。英文摘要) Zbl 1446.03042号 日志。伊斯斯莱德。 25,第1号,88-99(2019).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Gorbunov},日志。伊斯斯莱德。25,第1号,88--99(2019;Zbl 1446.03042) 全文: 内政部
安吉丽娜·博布罗娃。 如何明确重言式? (俄语。英文摘要) Zbl 1446.03010号 日志。伊斯斯莱德。 25,编号1,20-36(2019).MSC公司:03A05号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bobrova},日志。伊斯斯莱德。25、1号、20--36(2019年;Zbl 1446.03010) 全文: 内政部
弗拉基米尔·沙拉克。 皮尔士的论文:逻辑分析和本体论后果。 (俄语。英文摘要) Zbl 1446.03023号 日志。伊斯斯莱德。 第2138-163号第25页(2019年).MSC公司:03B10号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。25,第2号,138--163(2019;Zbl 1446.03023) 全文: 链接
弗拉基米尔·马金一世。;玛丽亚·莱吉多(Maria M.Legeydo)。 J.Venn类逻辑的内涵语义。 (俄语。英文摘要) Zbl 1446.03046号 日志。伊斯斯莱德。 第2114-137号第25页(2019年).MSC公司:03B47号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Markin}和\textit{M.M.Legeydo},Log。伊斯斯莱德。25,第2号,114--137(2019;Zbl 1446.03046) 全文: 内政部
安东尼娜·孔科娃 想象逻辑-2 N.A.Vasiliev作为三段论理论。 (俄语。英文摘要) Zbl 1446.03062号 日志。伊斯斯莱德。 25,第2期,94-113(2019).MSC公司:03B60号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Konkova},日志。伊斯斯莱德。25,第2号,94-113(2019;Zbl 1446.03062) 全文: 内政部
亚历山大·巴夫洛娃 阿贝尔逻辑A的博弈论解释。 (英语) Zbl 1446.03054号 日志。伊斯斯莱德。 25,第2号,75-93(2019).MSC公司:03B50号 03B52号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pavlova},日志。伊斯斯莱德。25,第2号,75-93(2019;Zbl 1446.03054) 全文: 内政部
乔尔吉·贾普里泽 算法基于可计算逻辑。 (英语) Zbl 1446.03101号 日志。伊斯斯莱德。 25,第2号,61-74(2019).MSC公司:30楼03号 03B70号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},日志。伊斯斯莱德。25,第2号,61-74(2019;Zbl 1446.03101) 全文: 内政部
贾努斯·丘西乌拉 准一致性和准完整性。 (英语) Zbl 1446.03060号 日志。伊斯斯莱德。 25,第2号,46-60(2019).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ciuciura},日志。伊斯斯莱德。25,第2号,46-60(2019;Zbl 1446.03060) 全文: 内政部
Leonid Yu Devyatkin。 关于真正的准一致和真正的准完全新行多值逻辑。 (俄语。英文摘要) Zbl 1446.03052号 日志。伊斯斯莱德。 25,第2号,26-45(2019).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{L.Yu.Devyatkin},日志。伊斯斯莱德。25、2号、26-45(2019年;Zbl 1446.03052) 全文: 内政部
伊戈尔·戈布诺夫(Igor A.Gorbunov)。 特征理论与替代反转。 (俄语。英文摘要) Zbl 1446.03027号 日志。伊斯斯莱德。 25,第2号,9-25(2019).MSC公司:03B22号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Gorbunov},日志。伊斯斯莱德。25,第2号,第9--25号(2019年;Zbl 1446.03027) 全文: 内政部
阿纳斯塔西亚·奥列戈夫纳(Anastasiya Olegovna)科帕洛娃 Ockham逻辑中的时态命题。 (俄语。英文摘要) Zbl 1431.03016号 日志。伊斯斯莱德。 24,第1期,99-114(2018).MSC公司:03A05号 03B44号 03-03 01A35型 PDF格式BibTeX公司 XML格式引用 \textit{A.O.Kopylova},日志。伊斯斯莱德。24,第1号,99--114(2018;Zbl 1431.03016) 全文: 内政部
纳塔尔·叶夫娜·托莫娃 一类四值超常逻辑的性质。 (俄语。英文摘要) Zbl 1431.03039号 日志。伊斯斯莱德。 24,第1期,75-89(2018).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Tomova},日志。伊斯斯莱德。24,第1号,75--89(2018;Zbl 1431.03039) 全文: 内政部
普雷洛夫斯基、尼古拉·尼古拉埃维奇 逻辑矩阵和哥德巴赫问题。 (俄语。英文摘要) Zbl 1431.03038号 日志。伊斯斯莱德。 24,第1期,62-74(2018).MSC公司:03B50号 第12页 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Prelovskiĭ},日志。伊斯斯莱德。24,编号1,62--74(2018;Zbl 1431.03038) 全文: 内政部
Aleksander Aleksandrovich,Belikov FDE的一些扩展的Vojshvillo类型语义。一、。 (俄语。英文摘要) Zbl 1431.03035号 日志。伊斯斯莱德。 24,第1号,46-61(2018).MSC公司:03B47号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Belikov},日志。伊斯斯莱德。24,第1号,46-61(2018;Zbl 1431.03035) 全文: 内政部
伊戈尔·阿纳托利维奇·戈尔布诺夫 逻辑,三人合一。 (俄语。英文摘要) Zbl 1431.03077号 日志。伊斯斯莱德。 24,第1期,9-25(2018).MSC公司:03G10年 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Gorbunov},日志。伊斯斯莱德。24,第1号,第9--25号(2018;Zbl 1431.03077) 全文: 内政部
弗拉基米尔·伊万诺维奇·沙拉克 \(\lambda\)-项之间的弱结果关系。 (俄语。英文摘要) Zbl 1431.03027号 日志。伊斯斯莱德。 24,第2期,151-157(2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalak},日志。伊斯斯莱德。24,第2号,151--157(2018;Zbl 1431.03027) 全文: 内政部
纳塔尔·叶夫娜·托莫娃 关于四值超常逻辑。 (俄语。英文摘要) Zbl 1431.03046号 日志。伊斯斯莱德。 24,第2期,137-143(2018).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Tomova},日志。伊斯斯莱德。24,第2号,137--143(2018;Zbl 1431.03046) 全文: 内政部
普雷洛夫斯基、尼古拉·尼古拉埃维奇 无限值Łukasiewicz逻辑和Farey序列。 (俄语。英文摘要) Zbl 1431.03037号 日志。伊斯斯莱德。 24,编号2123-128(2018).MSC公司:03B50号 第11页第57页 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Prelovskiĭ},日志。伊斯斯莱德。24,第2号,第123-128条(2018;Zbl 1431.03037) 全文: 内政部
雅罗斯拉夫·伊戈列维奇·彼得鲁金 直觉主义一级蕴涵的分析表。 (俄语。英文摘要) Zbl 1431.03036号 日志。伊斯斯莱德。 24,第2期,116-122(2018).MSC公司:03B47号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.I.Petrukhin},日志。伊斯斯莱德。24,第2号,116-122(2018;Zbl 1431.03036) 全文: 内政部
弗拉基米尔·伊里奇·马金 De re-De dicto二分法和绝对三段论。 (俄语。英文摘要) Zbl 1431.03033号 日志。伊斯斯莱德。 24,第2期,108-115(2018).MSC公司:03B45 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Markin},日志。伊斯斯莱德。24,第2号,第108-115条(2018;Zbl 1431.03033) 全文: 内政部
列奥尼德·尤尔埃维奇·德维亚特金 关于一类连续的四值极大超常逻辑。 (俄语。英文摘要) Zbl 1431.03045号 日志。伊斯斯莱德。 24,第2期,85-91(2018).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Devyatkin},日志。伊斯斯莱德。24,第2号,85--91(2018;Zbl 1431.03045) 全文: 内政部
娜塔莎·亚历奇纳 联盟公告逻辑的模型检查。 (英语) Zbl 1431.68063号 日志。伊斯斯莱德。 24,第2号,59-69(2018).MSC公司:60年第68季度 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina},日志。伊斯斯莱德。24,第2号,59--69(2018;Zbl 1431.68063) 全文: 内政部
弗拉基米尔·伊万诺维奇·沙拉克 对A.Tamminga的论文“强三值逻辑的对应分析”的一些评论。 (英语) Zbl 1388.03027号 日志。伊斯斯莱德。 23,第2期,96-97(2017).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。23,第2号,96-97(2017;Zbl 1388.03027) 全文: 内政部
弗拉基米尔·列奥尼多维奇(Vladimir Leonidovich Vasyukov) 泛函:泛函逻辑和数学的范畴泛函。 (英语) Zbl 1417.03196号 日志。伊斯斯莱德。 23,第2期,76-95(2017).MSC公司:03B53号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasukov},日志。伊斯斯莱德。23,第2号,76--95(2017;Zbl 1417.03196) 全文: 内政部
米哈伊尔·尼古拉埃维奇·里巴科夫 一元谓词模态逻辑的不确定性。 (俄语。英文摘要) Zbl 1420.03040号 日志。伊斯斯莱德。 23,第2号,60-75(2017).MSC公司:03B45 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rybakov},日志。伊斯斯莱德。23,第2号,60-75(2017;Zbl 1420.03040) 全文: 内政部
弗拉基米尔·米哈·洛维奇·波波夫 关于Vasiliev型逻辑的特征化问题:关于表性(I_{langlex,y\rangle})((x,y\ in\{0,1,2,dots\})和(x<y\))。二、。 (俄语。英文摘要) Zbl 1420.03054号 日志。伊斯斯莱德。 23,第2号,25-59(2017).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Popov},日志。伊斯斯莱德。23,第2号,25-59(2017;Zbl 1420.03054) 全文: 内政部
伊戈尔·安纳托尔·戈布诺夫 演绎逻辑及其与直觉主义逻辑的关系。 (俄语。英文摘要) 兹比尔1420.03022 日志。伊斯斯莱德。 23,第2号,9-24(2017).MSC公司:03B22号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Gorbunov},日志。伊斯斯莱德。23、第2、9--24号(2017;Zbl 1420.03022) 全文: 内政部
弗拉基米尔·伊万诺维奇·沙拉克 解决问题的分析方法。 (俄语。英文摘要) Zbl 1417.03117号 日志。伊斯斯莱德。 第121-139号第23页(2017年).MSC公司:03A10号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。23,第1号,121--139(2017;Zbl 1417.03117) 全文: 内政部
瓦西里·奥列戈维奇·沙金 推理的精确定义(以逻辑的自然演绎系统为例)。 (英语) Zbl 1417.03203号 日志。伊斯斯莱德。 第1号第23页,第83-104页(2017年).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.O.Shangin},日志。伊斯斯莱德。23,编号1,83--104(2017;Zbl 1417.03203) 全文: 内政部
弗拉基米尔·米哈伊洛维奇·波波夫 关于Vasiliev型逻辑的特征化问题:关于表性(I_{langlex,y.rangle}(x,y\in\{0,1,2,dots\})和(x<y))。 (俄语。英文摘要) Zbl 1417.03202号 日志。伊斯斯莱德。 23,第1号,57-82(2017).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Popov},日志。伊斯斯莱德。23,第1号,57--82(2017;Zbl 1417.03202) 全文: 内政部
卡拉瓦耶夫,E.F。 一种确定混合时序逻辑中间隔的方法。 (英语) Zbl 1417.03147号 日志。伊斯斯莱德。 23,第1期,48-56(2017).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.F.Karavaev},日志。伊斯斯莱德。23,第1号,48-56(2017;Zbl 1417.03147) 全文: 内政部
列奥尼德·尤里耶维奇·德维亚特金 经典命题逻辑中多值矩阵的非经典修改。二、。 (俄语。英文摘要) Zbl 1417.03176号 日志。伊斯斯莱德。 23,第1期,11-47(2017).MSC公司:03B50号 03B53号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Devyatkin},日志。伊斯斯莱德。23,第1号,第11--47号(2017;Zbl 1417.03176) 全文: 内政部
弗拉基米尔·伊万诺维奇·沙拉克 关于可以用定义表示的一阶理论。 (英语) Zbl 1392.03019号 日志。伊斯斯莱德。 22,第1期,125-135(2016).MSC公司:03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。22,第1号,第125--135条(2016;Zbl 1392.03019)
雅罗斯拉夫·伊戈列维奇·彼得鲁金 一级蕴涵的对应分析。 (英语) Zbl 1364.03037号 日志。伊斯斯莱德。 22,第1号,108-124(2016). 审核人:曼弗雷德·科伯(伯明翰) MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Y.I.Petrukhin},日志。伊斯斯莱德。22,编号1,108-124(2016;兹bl 1364.03037)
德米特里·马克西莫夫 瓦西里耶夫的逻辑和多值逻辑。 (俄语。英文摘要) Zbl 1393.03011号 日志。伊斯斯莱德。 22,第1期,82-107(2016).MSC公司:03B50号 03B53号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Y.Maximov},日志。伊斯斯莱德。22,第1号,82--107(2016;Zbl 1393.03011)
弗拉基米尔·伊里奇·马金 根据相关蕴涵解释范畴命题。 (俄语。英文摘要) Zbl 1392.03031号 日志。伊斯斯莱德。 22,第1号,70-81(2016).MSC公司:03B47号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Markin},日志。伊斯斯莱德。22,第1号,70--81(2016;Zbl 1392.03031)
弗拉基米尔·米哈伊洛维奇·波波夫 瓦西里耶夫型I-逻辑的顺序公理化和语义。 (俄语。英文摘要) Zbl 1392.03040号 日志。伊斯斯莱德。 22,第1号,32-69(2016).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Popov},日志。伊斯斯莱德。22、第1号、第32--69号(2016;Zbl 1392.03040)
A.S.卡彭科。;查格罗夫。 模态命题真值逻辑Tr及其完备性。 (俄语。英文摘要) Zbl 1392.03028号 日志。伊斯斯莱德。 22,第1期,13-31(2016).MSC公司:03B45 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Karpenko}和\textit{A.V.Chagrov},日志。伊斯斯莱德。22、1号、13-31(2016;Zbl 1392.03028)
丹尼尔·蒂斯金 透明阅读和特权世界。 (英语) Zbl 1392.03044号 日志。伊斯斯莱德。 22,No.2,73-90(2016).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Tiskin},日志。伊斯斯莱德。22,第2号,73-90(2016年;兹bl 1392.03044) 全文: 内政部
列奥尼德·尤里耶维奇·德维亚特金 经典命题逻辑中多值矩阵的非经典修改。一、。 (俄语。英文摘要) Zbl 1392.03033号 日志。伊斯斯莱德。 22,第2期,27-58(2016).MSC公司:03B50号 03B53号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Devyatkin},日志。伊斯斯莱德。22、2号、27-58(2016;Zbl 1392.03033) 全文: 内政部
尼古拉·卢沃维奇(Nikolai L'vovich)·阿尔基耶夫(Arkhiereev) Heyting系统Int的集合理论语义。 (俄语。英文摘要) Zbl 1437.03082号 日志。伊斯斯莱德。 22,第2号,9-26(2016). 审核人:格里戈里·奥尔霍维科夫(波鸿) MSC公司:03B45 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.L.Arkhiereev},日志。伊斯斯莱德。22、第2、9--26号(2016;Zbl 1437.03082) 全文: 内政部
托莫娃,东北。 勘误表:“自然暗示和情态推理原则”。 (英语) 兹比尔1403.03043 日志。伊斯斯莱德。 21186-187(2015)第2期.MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Tomova},日志。伊斯斯莱德。21,第2号,186--187(2015;Zbl 1403.03043)
艾利安·阿列克谢维奇 刘易斯·卡罗尔的否定项三段论。 (俄语。英文摘要) Zbl 1370.03018号 日志。伊斯斯莱德。 第21134-144号(2015年).MSC公司:03B20型 03A05号 03-03 01A55号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Il'in},日志。伊斯斯莱德。21,第2号,134--144(2015;Zbl 1370.03018)
阿列克桑德拉·米哈·巴夫洛娃 对话逻辑和游戏理论语义(GTS)的真理。 (俄语。英文摘要) Zbl 1370.03035号 日志。伊斯斯莱德。 21,第2期,107-133(2015).MSC公司:03B60号 91A80型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pavlova},日志。伊斯斯莱德。21,第2号,第107--133条(2015;Zbl 1370.03035)
格列布·维克托洛维奇·卡尔波夫 命令的Stit-logic。 (俄语。英文摘要) Zbl 1370.03024号 日志。伊斯斯莱德。 21,第2期,78-106(2015).MSC公司:03B42号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Karpov},日志。伊斯斯莱德。21,第2号,第78--106条(2015;Zbl 1370.03024)
索洛申科夫,阿特姆·安德列维奇 表逻辑Par展开式的分析公理化。 (俄语。英文摘要) Zbl 1370.03034号 日志。伊斯斯莱德。 21,第2期,70-77(2015).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Solotschenkov},日志。伊斯斯莱德。21,第2号,70--77(2015;Zbl 1370.03034)
列奥尼德·尤里维奇·德维亚特金 关于三值逻辑中的“经典”运算。 (英语) 兹比尔1370.03031 日志。伊斯斯莱德。 21,第2期,61-69(2015).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{L.Y.Devyatkin},日志。伊斯斯莱德。21,第2号,61-69(2015;Zbl 1370.03031)
贾努斯·丘西乌拉 一种弱直觉主义逻辑(I1)。 (英语) Zbl 1370.03017号 日志。伊斯斯莱德。 21,第2号,53-60(2015).MSC公司:03B20型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ciuciura},日志。伊斯斯莱德。21,第2号,53--60(2015;Zbl 1370.03017)
弗拉基米尔·列奥尼多维奇·瓦苏科夫 相关逻辑的博弈论语义。 (英语) Zbl 1370.03030号 日志。伊斯斯莱德。 21,第2期,42-52(2015).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasukov},日志。伊斯斯莱德。21,第2号,42-52(2015;Zbl 1370.03030)
安德烈·鲍里索维奇 物质蕴涵的拓扑表示和推理方式的规则。 (俄语。英文摘要) Zbl 1351.03001号 日志。伊斯斯莱德。 21、2号、21-41(2015).MSC公司:03B10号机组 54A99号 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Banovats},日志。伊斯斯莱德。21、第2号、第21-41号(2015;Zbl 1351.03001)
弗拉基米尔·伊万诺维奇·沙拉克 关于一些初等代数理论在一阶谓词演算中的定义嵌入性。 (英语) 兹比尔1370.03013 日志。伊斯斯莱德。 21,第2期,15-20(2015).MSC公司:03B10号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。21、第2号、第15--20号(2015;Zbl 1370.03013)
弗拉基米尔·伊万诺维奇·沙拉克 关于组合逻辑理论在一阶谓词演算中的定义嵌入性。 (英语) Zbl 1370.03023号 日志。伊斯斯莱德。 21,第2期,9-14(2015).MSC公司:03B40型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。21、第2号、第9-14号(2015;Zbl 1370.03023)
迪米特里·弗拉基米洛维奇·扎伊采夫 用公告建模对话框。 (俄语。英文摘要) Zbl 1338.03022号 日志。伊斯斯莱德。 21,第1期,155-166(2015).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Zaĭtsev},日志。伊斯斯莱德。21,第1号,155--166(2015;Zbl 1338.03022)
帕维尔·马特拉纳 哲学分析语言的两种方法。 (英语) 兹比尔1338.03005 日志。伊斯斯莱德。 21,第1期,144-154(2015).MSC公司:03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{P.Materna},日志。伊斯斯莱德。21,第1号,144--154(2015;Zbl 1338.03005)
娜塔莉亚·埃夫根耶夫娜·托莫娃 自然蕴涵与情态推理原则。 (英语) Zbl 1338.03049号 日志。伊斯斯莱德。 第1138-143号第21页(2015年);勘误表同上21,第2号,186-187(2015)。MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Tomova},日志。伊斯斯莱德。21,第1号,138--143(2015;Zbl 1338.03049)
Aleksandr Stepanovich Karpenko 四值模态逻辑的格。 (俄语。英文摘要) Zbl 1338.03033号 日志。伊斯斯莱德。 2122-137号(2015年).MSC公司:03B45 03B50号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Karpenko},日志。伊斯斯莱德。21,第1号,第122--137条(2015;Zbl 1338.03033)
弗拉基米尔·米哈伊洛维奇·波波夫 关于Glivenko定理的推广。 (俄语。英文摘要) Zbl 1338.03009号 日志。伊斯斯莱德。 21,第1号,100-121(2015).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Popov},日志。伊斯斯莱德。21,第1号,100-121(2015;Zbl 1338.03009)
叶卡捷琳娜·亚历山德罗夫娜·科蒂科娃;米哈伊尔·尼古拉耶维奇·里巴科夫 具有CTL时间模式和近逻辑的一阶结石的克里普克不完全性。 (英语) Zbl 1338.03026号 日志。伊斯斯莱德。 21,第1期,86-99(2015).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Kotikova}和\textit{M.N.Rybakov},Log。伊斯斯莱德。21,第1号,86--99(2015;Zbl 1338.03026)
亚历山大·瓦西里耶维奇 正规模态逻辑的有限模型性质和常数公式:一个例子。 (俄语。英文摘要) Zbl 1338.03032号 日志。伊斯斯莱德。 21,第1期,79-85(2015).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov},日志。伊斯斯莱德。21,第1号,第79-85条(2015;Zbl 1338.03032)
沙拉克,弗拉基米尔·伊万诺维奇 范畴属性命题的句法解释。 (俄语。英文摘要) Zbl 1338.03010号 日志。伊斯斯莱德。 21,第1期,60-78(2015).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalak},日志。伊斯斯莱德。21,第1号,60--78(2015;Zbl 1338.03010)
弗拉基米尔·伊里奇·马金 三段论作为术语反扩张的逻辑。 (俄语。英文摘要) Zbl 1338.03006号 日志。伊斯斯莱德。 21,第1期,49-59(2015).MSC公司:03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Markin},日志。伊斯斯莱德。21,第1号,49-59(2015;Zbl 1338.03006)