×
吉恩·吉利伯特（编辑）;克里斯蒂安·雷托雷（编辑）

范畴理论、逻辑和形式语言学：新旧联系。 （英语） Zbl 1335.03002号

J.应用。日志。 12，第1期，第1-13页（2014年）.
小结：我们抓住了《逻辑、类别、语义》研讨会论文的出版机会，调查了当前逻辑的一些趋势，即直觉主义和线性类型理论，这些理论交织了范畴、几何和计算方面的考虑。之后，我们将介绍这些丰富的逻辑框架如何建模语言表达意义的方式。

MSC公司：

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03B15号机组 高阶逻辑；类型理论（MSC2010）
03B65号 自然语言逻辑
03楼52 线性逻辑和其他子结构逻辑的理论证明
03G30型 分类逻辑，拓扑
00B25型 杂项特定利益的会议记录

关键词：

逻辑;类型理论;范畴理论;形式语言学

软件：

Coq公司
PDF格式BibTeX公司 XML格式引用
\textit｛J.Gillibert｝（编辑）和\textit｛C.Retoré｝（编辑），J.Appl。日志。12、第1号、第1-13号（2014；Zbl 1335.03002）
全文： DOI程序 arXiv公司

参考文献：

[1] （阿廷，迈克尔；格罗森迪克，亚历山大；威尔第，珍妮·路易斯，《拓扑与同调故事》，《拓扑和同调故事与学校》，《数学讲义》，第269-270卷（1972年），斯普林格-Verlag）。（阿廷，迈克尔；格罗森迪克，亚历山大；威尔第，珍妮·卢伊斯，《拓扑与上同调的故事》，《拓扑和上同调故事》，数学讲义，第269-270卷（1972年），斯普林格出版社），塞米纳伊尔·德·戈梅特里·阿尔盖布里克·杜博伊斯马里（1963-1964年）·Zbl 0234.00007号
[2] Asher，Nicholas，《语境中的词汇意义——词汇网》（2011），剑桥大学出版社
[3] Asher，Nicolas，复杂类型预测的类型驱动理论，Fundam。通知。，84, 2, 151-183 (2008) ·Zbl 1157.03009号
[4] （Steve Awodey；Thierry Coquand；Vladimir Voevodsky，同伦类型理论：单叶数学基础（2013），高等研究院：普林斯顿高等研究院）·Zbl 1298.03002号
[5] 巴塞，克里斯蒂安；布鲁诺·梅里；克里斯蒂安·雷托雷，《走向词汇语义学的类型理论解释》，J.Log。语言信息，19，2，229-245（2010），（英语）
[6] 伊夫·贝托特；Casteéran，Pierre，交互式定理证明和程序开发。科克艺术：归纳结构的微积分，理论计算机科学文本（2004），施普林格出版社·Zbl 1069.68095号
[7] 安德烈·布瓦罗；Joyal，André，《拓扑逻辑》，J.Symb。日志。，46, 1, 6-16 (1981) ·Zbl 0544.03035号
[8] 弗朗西斯·博尔塞克斯，《范畴代数手册》。3：滑轮类别（1994），剑桥大学出版社：剑桥大学出版社，（英语）·Zbl 0911.18001号
[9] 卡地亚、皮埃尔、罗基克，《猫与猫》（catégories et faisceaux）（《达普雷斯·F·劳维尔与M·蒂尔尼》）-《博览会513》（《塞米纳伊尔·波巴基，30ème anne》（1977/1978））。Séminaire Bourbaki，30ème anneée（1977/1978），数学课堂笔记，第710卷（1977），施普林格），123-146·Zbl 0406.03074号
[10] Church，Alonzo，《简单类型理论的形成》，J.Symb。日志。，5, 56-68 (1940) ·Zbl 0023.28901号
[11] Ciardelli，Ivano Alessandro，预处理语义的规范模型（2011），INRIA，发表于2011年拓扑、代数和逻辑范畴（TACL），马赛
[12] 保罗·科恩（Paul J.Cohen），《集合论和连续统假设》，数学课堂笔记系列（1966年），W.A.Benjamin·Zbl 0182.01301号
[13] Cooper，Robin，《联合预测和动态广义量化的记录型理论解释》，Philos。Commun公司。Web系列。，35, 75-88 (2006)
[14] 史蒂文·戴维斯；布伦丹·S·吉隆（Gillon，Brendan S.），《引言》（“语义学，读者”）（戴维斯·史蒂文（Davis，Steven）；布伦丹·S·吉伦，《语义学：读者》（semantics:a reader，2004），牛津大学出版社：牛津大学出版社，纽约），第1-130页
[15] Gentzen，Gehrard，Untersuchungenüber das logische Schließen I，数学。Z.，39，176-210（1955），《法国新闻大学：法国巴黎新闻大学》，《法兰西·R·费斯和J·拉德里埃的传记：传记研究逻辑》·Zbl 0010.14501号
[16] Gentzen，Gehrard，Untersuchungenüber das logische Schließen II，数学。Z.，39，405-431（1955），《法国新闻大学：法国巴黎新闻大学》，《拉德利埃和R·费斯的传记：传记研究逻辑》·Zbl 0010.14601号
[17] Girard，Jean-Yves，线性逻辑，Theor。计算。科学。，50, 1, 1-102 (1987) ·Zbl 0625.03037号
[18] Girard，Jean-Yves，《盲点——逻辑讲座》（2011），欧洲数学学会·Zbl 1238.03045号
[19] Girard，Jean-Yves，《逻辑中的规范性》，（Dybjer，Peter；Lindström，Sten；Palmgren，Erik；Sundholm，Göran，《认识论与本体论》·Zbl 1314.03051号
[20] Jean-Yves Girard；Lafont，Yves；Paul Taylor，《证明与类型》，《剑桥理论计算机科学丛书》，第7卷（1988），剑桥大学出版社·Zbl 0671.68002号
[21] 马丁·霍夫曼；托马斯·斯特里彻（Thomas Streicher），《类型理论的群体解释》（The groupoid interpretation of type theory）（Sambin，G.；Smith，J.，《马丁·洛夫类型理论的二十五年》（1998），牛津大学出版社），第83-111页·Zbl 0930.03089号
[22] 威廉·霍华德（William A.Howard），《公式作为类型的构造概念》（The formulae-as-types concept of construction），（辛德利（Hindley），J.；塞尔丁（Seldin，J.），致H.B.库里（To H.B.Curry）：《组合逻辑论文》，（λ）-微积分和形式主义（1980），学术出版社），479-490
[23] William Kneale；玛莎·克内尔（Martha Kneale），《逻辑的发展》（1986），牛津大学出版社·Zbl 0100.00807号
[24] Saul Kripke，《模态逻辑中的完备性定理》，J.Symb。日志。，24, 1, 1-14 (1959) ·Zbl 0091.00902号
[25] 约阿希姆·兰贝克；Scott，Phil J.，《高阶范畴逻辑导论》，《剑桥高等数学研究》，第7卷（1986年），剑桥大学出版社·Zbl 0596.0302号
[26] 弗朗西斯·威廉·劳弗尔（Francis William Lawvere），《量词和滑轮》（Quantifiers and sheaves）（马塞尔·伯杰（Berger，Marcel）；让·迪乌丹内（Dieudonne，Jean）；让·勒雷（Leray，Jean，Lions，Jacques-Louis）；保罗·马利亚文（Malliavin，Paul）；塞雷·让·皮埃尔（Jean-Pierre，Actes du Congres international des mat·Zbl 0261.18010号
[27] （Lawvere，Francis William，《拓扑、代数几何和逻辑》，《拓扑，代数几何和逻辑学》，计算机科学讲义，第274卷（1972），Springer:Springer Berlin，Heidelberg，New York）·Zbl 0233.00005
[29] Mac Lane，Saunders，《在职数学家分类》（1971），施普林格出版社：施普林格出版社，柏林·Zbl 0232.18001号
[30] 莱恩，桑德斯·麦克；Moerdijk，Ieke，《几何和逻辑中的滑轮：拓朴理论的首次介绍》，Universitext（1992），Springer-Verlag:Springer-Verlag纽约，xii，627页（英语）·Zbl 0822.18001号
[31] 马丁·洛夫（Martin-Löf），佩尔（Per），《直觉主义类型理论：谓语部分》（Logic Colloqueium），逻辑学术讨论会，布里斯托尔，1973年。逻辑座谈会。逻辑座谈会，布里斯托尔，1973年，《逻辑和数学基础研究》，第80卷（1977年），北荷兰），73-118·兹比尔0334.02016
[32] Martin-Löf，Per，直觉主义类型理论（1984），《图书馆：那不勒斯图书馆》（G.Sambin的讲稿）·Zbl 0571.03030号
[33] 梅利耶斯（Melliès）、保罗·安德雷（Paul-André），《字符串图中的游戏语义》，LICS，481-490（2012），IEEE·Zbl 1364.03083号
[34] 蒙塔古，理查德，英语作为一种正式语言，（维森蒂尼，布鲁诺，Linguaggi nella Societa e nella Tecnica（1970），《共产主义教育》：意大利米兰共产主义教育）。（托马森，R.，《理查德·蒙塔古论文集》（1974），耶鲁大学出版社），189-224年，重印
[35] Michael Moortgat；理查德·穆特（Richard Moot），《Lambek-Grishin演算的证明网》（Heunen，Chris；Sadrzadeh，Mehrnoosh；Grefenstette，Edward），《量子物理和语言学：构图语篇》（2013），牛津大学出版社，283-320·Zbl 1350.03023号
[36] （Pogodalla，Sylvain；Prost，Jean-Philippe，《计算语言学的逻辑方面——第六届国际会议论文集。计算语言学的逻辑学方面——第6届国际会议文献集》，2011年6月29日至7月1日，法国蒙彼利埃，Lacl 2011。计算语言学的逻辑方面——第六届国际会议论文集。计算语言学的逻辑方面——第六届国际会议，2011年6月29日至7月1日，法国蒙彼利埃，Lacl，2011，LNCS，第6736卷（2011），Springer）·Zbl 1216.68041号
[38] （Paul Portner；Barbara H.Partee，《形式语义学：基本读物》（2002），布莱克威尔出版社）
[39] 丹尼尔·奎伦（Daniel G.Quillen），同伦代数，数学课堂讲稿（1967），施普林格·Zbl 0168.20903号
[40] 斯特里彻，托马斯，身份类型和弱欧米伽群，身份类型-拓扑和范畴结构，2006，Uppsala talk，网址：
[41] 特洛伊斯特拉，安妮；van Dalen，Dirk，《数学中的建构主义》（第2卷），《逻辑研究和数学基础》，第123卷（1988年），北荷兰·Zbl 0653.0304号
[42] 约翰·范·本特姆（Johan van Benthem）；特梅伦，爱丽丝，《逻辑和语言手册》（2010），爱思唯尔洞察力，爱思惟尔科学·Zbl 1204.03001号
[43] van Dalen，Dirk，《逻辑与结构》，Universitext（2013），Springer-Verlag·Zbl 1262.03002号
[44] Voevodsky，Vladimir，《同伦lambda演算的一个简短注释》（2006），高等研究所：普林斯顿高等研究所，技术报告
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。