×
尼西姆·弗朗西兹

隐含消除规则需要一个小前提吗？ （英文） Zbl 1456.03083号

日志。日志。菲洛斯。 27，第3号，351-373（2018）.
小结：本文介绍了Gentzen（NJ）自然演绎系统的一种变体，其中蕴涵消去规则没有小前提。新泽西系统扩展了传统的ND系统，在推导中引入了一种新的作用，即假设合并，一种对假设放电作用的对偶。因此，蕴涵（I/E）-规则是可逆的，几乎从定义上来说，是协调和稳定的，这是证明理论语义学对ND-系统施加的一个主要条件，以符合意义赋予的条件。还有对（NJ^g）-派生的证明项赋值，实现了该系统的Curry-Howard对应。

MSC公司：

03财年03 一般证明理论（包括证明理论语义）
05年3月 切割消除和正规形定理

关键词：

自然扣除;\（新泽西州）;证明理论语义;主张的理由;任期分配

软件：

佩斯卡
PDF格式BibTeX公司 XML格式引用
\textit{N.Francez}，日志。日志。菲洛斯。27，第3号，351--373（2018；Zbl 1456.03083）
全文： 内政部

参考文献：

[1] Avron，A.，“简单后果关系”，《信息与计算》92，1（1991）：105-139。内政部：·兹比尔0733.03007
[2] Dočsen，K.，“作为标点符号的逻辑常数”，《圣母院形式逻辑杂志》30，3（1989）：362-381。PDF格式：·Zbl 0692.03003号
[3] 达米特，M.，《形而上学的逻辑基础》，哈佛大学出版社，马萨诸塞州剑桥，1993年（平装本）；硬拷贝1991
[4] Francez，N.，《实证语义学》，大学出版社，伦敦，2015年·兹比尔1433.03001
[5] Francez，N.，“相关和谐”，《逻辑与计算杂志》26，1（2016）：235-245。特刊《逻辑：语义学与证明理论之间》，纪念阿农·阿夫隆60岁生日。内政部：·Zbl 1403.03038号
[6] Francez，N.，“证明理论语义的观点：具体化的证明理论意义”，《计算逻辑杂志》26，2（2016）：479-494。特别发行以纪念罗伊·戴克霍夫。内政部：·Zbl 1403.03113号
[7] Gentzen，G.，“初等数论的一致性”，M.E.Szabo（编辑）第493-565页，《Gerhard Gentzen's Collected Papers of Gerhard，North-Holland，Amsterdam，1935年。1935年《数学年鉴》论文的英文译本（德语）
[8] Gentzen，G.，“逻辑演绎的调查”，M.E.Szabo（编辑）第68-131页，《格哈德·Gentzen-论文集》，荷兰阿姆斯特丹北霍兰德，1935年。1935年论文的德语英译
[9] Hazen，A.P.和F.J.Pelletier，“Gentzen和Ja shi kowski自然演绎：基本相似但重要不同”，Studia Logica 102，6（2014）：1-40。特刊：《Gentzen's and Ja-si-kowski’s Heritage 80 Years of Natural Deduction and Sequent Calculi》，由A.Indrzejczak编辑。内政部：
[10] 辛德利，J.R.，《基本简单类型理论》，剑桥大学出版社，1997年。内政部：·Zbl 0906.03012号
[11] Hitzmann，J.，“含时间状语句子的语义划分和歧义性”，《语义学杂志》，1997年出版
[12] Jacinto，B.和S.Read，“一般消除稳定性”，Studia Logica 105，2（2017）：361-405。内政部：·Zbl 1417.03285号
[13] Ja sh kowski，S.，“Teoria deduccji oparta na regułach za \322»ożeniowych”（基于假设规则的演绎理论），第36页，Księga pamiątkowa pierwszego polskiego zjazdu matematycznego（波兰第一届数学大会会议记录），波兰数学学会，
[14] 克拉科夫，1929年
[15] Ja sh kowski，S.，“形式逻辑中的假设规则”，Studia Logica，1（1936）：5-32。重印：S.McCall，波兰逻辑1920-1939，牛津大学出版社，1967年，第232-258页
[16] Johansson，I.，“Der minimalkalkül，ein reduzier直觉主义形式主义”，《数学合成》4（1936）：119-136
[17] Negri，S.和J.von Plato，《结构证明理论》，剑桥大学出版社，英国剑桥，2001年。内政部：·Zbl 1113.03051号
[18] Prawitz，D.，《自然演绎：实证理论研究》，Almqvist和Wicksell，斯德哥尔摩，1965年。多佛2006年软封面·Zbl 0173.00205号
[19] Prawitz，D.，“通过证明实现意义”，Synthese 148，3（2006）：507-524。内政部：·Zbl 1103.03055号
[20] Prawitz，D.，“解释演绎推理”，H.Wansing（编辑）第233-248页，Dag Prawitson the proof and mean，Springer，2014年。《逻辑的杰出贡献》系列第7卷。内政部：
[21] Schroeder-Heister，P.，“自然演绎的自然延伸”，《符号逻辑杂志》49，4（1984）：1284-1300。内政部：·Zbl 0574.03045号
[22] Schroeder-Heister，P.，“关于逻辑系统中假设的概念”，见R.Bluhm和C.Nimtz（编辑），《哲学-科学-科学哲学》，Mentis，Paderborn，2004年。分析哲学学会第五届国际大会论文选集，比尔菲尔德，2003年9月
[23] Schroeder-Heister，P.，“范畴和假设：对标准语义学一些基本假设的批判”，《综合》187,3（2012）：925-942。内政部：·Zbl 1275.03054号
[24] Schroeder-Heister，P.，“实证语义学”，摘自E.N.Zalta（编辑），《斯坦福大学哲学百科全书》，2013年春季版，2013年·兹比尔1528.03232
[25] Scott，D.，“规则和派生规则”，第101-118页，S.Stenlund（编辑），《逻辑理论和语义分析》，Reidl，Dordrecht，1974年。内政部：·兹比尔0296.02012
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。