×
Yashin，医学博士。;科什切娃，A.K。

超直觉逻辑L2中的新常数。 （英语。俄文原件） Zbl 1331.03027号

数学。笔记 94，第6号，938-950（2013）；翻译自Mat.Zametki 94，No.6，918-932（2013）。
本文研究逻辑L2（深度最多为2的框架的中间逻辑，也称为\（\mathrm｛BD｝_2\))被赋予有限数量的新（逻辑）常数。所得结果是以下结果的推广[A.D.Yashin（亚辛）《代数逻辑》50，第2期，171–186（2011；Zbl 1271.03043号); 翻译自《代数逻辑》50，第2期，246–267（2011），其中研究了带有单个附加常数的逻辑L2。特别地，给出了所有Novikov完备扩张（即L2的最大保守扩张）的描述，并建立了所有这些扩张的可判定性。通过一个附加公理（A（上划线{\phi}）（在扩展语言中）决定扩展（mathrm{L2}+A（上拉线{\phi{））是否保守的问题也被证明是可判定的。
如果\（\mathcal{L}\）在\（L\）上是保守的，并且对于\（\mathcal{L}\）中的每个额外常数\（\phi_i \）和每个显式关系\（\ph_i \ leftrightarrow B\），\不保守于\（L\）。介绍了一种简单的方法来确定给定的完整逻辑是否允许新常数。
审核人：亚历克斯·西特金（沃伦）

MSC公司：

03B55号 中间逻辑

关键词：

超直觉逻辑L2;中间逻辑\（\mathrm{BD}_2\);带有额外常量的语言;Novikov-完成扩展;框架

引文：

Zbl 1271.03043号
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Yashin}和\textit{A.K.Koshcheeva}，数学。附注94，第6号，938--950（2013；Zbl 1331.03027）；翻译自Mat.Zametki 94，No.6，918--932（2013）
全文： 内政部

参考文献：

[1] Д. П. Скворцов, “Об интуиционистском исчислении высказываний с дополнительной логической связкой”, Исследования по неклассическим логикам и формальным системам, Наука, М., 1983, 154 – 173
[2] Я. С. Смеранич，“Оп。ММО, 9, ГИФМЛ, М., 1960, 357 – 371
[3] Я. С. Смеранич，“Обисчисле。АН СССР, 139:2 (1961), 309 – 312
[4] А. Д。Яшин, “О новой константе в интуиционистской логике высказываний”, Фундамент. и прикл. матем., 5:3 (1999), 903 – 926
[5] А. Д. Яшин, “Континуальность семейства полных по Новикову логик с новой одноместной связкой”, Вестник Моск. ун-та. Сер. 1. Матем., мех., 1997, \? 3, 22 – 25
[6] Л. Л. Максимова, “Предтабличные суперинтуиционистские логики”, Алгебра и логика, 11:5 (1972), 558 – 570
[7] A.Chagrov，M.Zakharyaschev，模态逻辑，牛津逻辑指南，35，克拉伦登出版社，纽约，1997·Zbl 0871.03007号
[8] А. Д. Яшин, “О новых константах в двух предтабличных суперинтуиционистских логиках”, Алгебра и логика, 50:2 (2011), 246 – 267
[9] Л. Л. Эсакиа, Алгебры Гейтинга. I.Тееориеаатаетенности、Мереба、Тбиаисии，1985年
[10] D.P.Dubbhashi，“关于Heyting代数的可判定变种”，《符号逻辑杂志》，57:3（1992），988–991·Zbl 0786.03007号 ·doi:10.2307/2275444
[11] Е. Расe\“Ва”、Р.Сикорски“”、МатемаТиКаметакммттиаеаареентраимк我、Мтукабтнитк
[12] N.Bezhanishvili，D.de Jongh，直觉主义逻辑，
[13] R.I.Goldblatt，“模态逻辑的元数学。I”，众议员数学。逻辑，6（1976），41–77·Zbl 0356.02016号
[14] “模态逻辑的元数学II”，Rep.Math。逻辑，7（1976），41-78，21-52·Zbl 0356.02017号
[15] Р. 三、。ГриГоЛир，“СробоДнтеS4.3-ааЛГебртсконетнммисаууих”，ИслеанитоасиекимоГикакмамтиформктаттмссемнаиаа。，1983, 281 – 287
[16] A.Yashin，“新直觉主义逻辑常数和Novikov完备性”，Studia Logica，63:2（1997），151-180·Zbl 0945.03010号 ·doi:10.1023/A:1005258529641
[17] A.D.Yashin，“新直觉主义逻辑常数：保守性问题的不可判定性”，《计算机科学逻辑》，《计算讲义》。科学。，柏林斯普林格·弗拉格1258号，1997年，460–471·Zbl 0881.03007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。