×
冈田三弘;川崎捷瑞

直觉线性逻辑各种片段的有限模型性质。 （英语） Zbl 0930.03021号

J.塞姆。日志。 64，第2期，790-802（1999）.
摘要：最近Y.Lafont[同上，62，第4号，1202-1208（1997年；Zbl 0897.03010号)]显示了线性逻辑（｛\mathbf M｝｛\mathbf A｝｛\mathbf L｝｛\mathbf L｝）\）和仿射逻辑（｛\mathbf L｝｛\mathbf L｝｛\mathbf W｝）\）的乘性加性片段的有限模型性质，即具有弱化的线性逻辑。本文证明了直觉主义版本的有限模型性质，即直觉主义版本（{mathbf M}{mathbfA}{matHBfL}{mathpfL}}）（我们称之为（{mathbf i}{mathsbfM}{MathbfA{mathbf-L}{）和直觉主义版本hbf i}{\mathbf L}{\ mathbf L}{\mathbf W}\））。此外，我们还证明了压缩线性逻辑（（{mathbf L}{mathbf-L}{mathbf C}）的有限模型性质，即具有压缩的线性逻辑，以及它的直观形式（（{mathbf i}{mathbf L}{mathbfL}{mathbf C{））的有限模型性质。相关子结构逻辑的有限模型性质也遵循我们的方法。特别地，我们证明了除了（{mathbfF}{mathbf L}{{mathbfc}}}}）和H.小野[“子结构逻辑的语义”，收录于：K.Došen等人（编辑），子结构逻辑（牛津大学出版社），259-291（1993）]，这将解决H.小野[“子结构逻辑的可判定性和有限模型属性”，载于：J.Ginzburg等人（编辑），第比利斯逻辑、语言和计算研讨会：论文选集（CLSI，斯坦福），263-274（1998）]。

引用于6评论
引用于40文件

MSC公司：

03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
03立方厘米13 有限结构模型理论
03B20型 经典逻辑子系统（包括直觉逻辑）

关键词：

直觉线性逻辑的片断;有限模型特性;压缩线性逻辑;子结构逻辑

引文：

Zbl 0897.03010号
PDF格式BibTeX公司 XML格式引用
\textit{M.Okada}和\textit{K.Terui}，J.Symb。日志。64，第2号，790--802（1999；Zbl 0930.03021）
全文： 内政部

参考文献：

[1] DOI:10.1017/CBO9780511629150.002·doi:10.1017/CBO9780511629150.002
[2] 内政部：10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
[3] 内政部：10.1007/BF00370837·Zbl 0861.03020号 ·doi:10.1007/BF00370837
[4] DOI:10.1002/malq.19900360405·Zbl 0810.03005号 ·doi:10.1002/malq.19900360405
[5] 逻辑与数学基础研究121 1（1988）
[6] CSLI课堂讲稿29（1992）
[7] 第十届IEEE计算机科学逻辑年会第496页–（1995）
[8] 第比利斯逻辑、语言和计算研讨会：论文选集（逻辑、语言与信息研究）第263页–（1998年）
[9] 子结构逻辑第259页–（1994）
[10] 理论计算机科学（1999）
[11] 理论计算机科学电子笔记3（1996）
[12] 内政部：10.1007/BF01053025·Zbl 0787.03020号 ·doi:10.1007/BF01053025
[13] 线性逻辑各种片段的有限模型性质62 pp 1202–（1997）·Zbl 0897.03010号
[14] 子结构逻辑第293页–（1994）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。