柳竹村 用需求和供给图进行经济推理。 （英语） Zbl 1437.91262号 数学。社会科学。 103, 25-35 (2020). 摘要：我们通过探索经济推理的数学模型来研究数学逻辑和经济学之间的相互作用。为此，我们将重点放在线性需求图和供应图的经济推理上。线性图具有以下优点：线性图易于构造，使用此类图进行推理可以有效管理；关于我们的问题，线性图是定性的。我们研究了可简化为线性图的一般需求和供给函数的问题类型，并讨论了需求和供给图的溯因推理。然后，我们在通过数学逻辑证明理论发展起来的自然演绎框架内，通过线性图形式化推理，提出了一个经济推理模型。 MSC公司： 91B42型 消费者行为、需求理论 03B42号 知识和信念的逻辑（包括信念变化） 关键词：数学逻辑；经济推理；供求关系图 软件：超防（Hyperproof） PDF格式BibTeX公司 XML格式引用 \textit{R.Takemura}，数学。社会科学。103、25-35（2020年；Zbl 1437.91262） 全文： 内政部 参考文献： [1] 用图表进行逻辑推理，（Allwein，Gerard；Barwise，Jon，Oxford Studies In Logic And Computation Series（1996））·Zbl 0870.0302号 [2] Barker-Plummer，Dave；John Etchemendy，《异构推理的计算体系结构》，J.Exp.Theor。Artif公司。智力。，19, 3, 195-225 (2007) [3] Jon Barwise；约翰·埃切曼迪（John Etchemendy），《超验：为麦金托什（Macintosh）》（1995），语言和信息出版物研究中心·Zbl 0860.03004号 [4] 罗恩·伯恩森（Ron Berndsen）；Daniels，Hennie，《定性经济学：PROLOG中的实现，计算》。科学。经济。管理。，4, 1, 1-13 (1991) ·Zbl 0729.90691号 [5] 劳伦斯·布鲁姆；戴维·伊斯利（David Easley）；Jon Kleinberg；Robert Kleinberg；埃娃·塔尔多斯，《计算机科学和经济理论导论》，J.Econom。理论，156，1-13（2015）·Zbl 1314.91008号 [6] 柯里尔，凯文·M·，《经济学中的比较静态分析》（2000），《世界科学》 [7] van Dalen，Dirk，《逻辑与结构》（2004），Springer·Zbl 1048.03001号 [8] 马克·德内克（Marc Denecker）；安东尼斯·卡卡斯（Antonis C.Kakas），逻辑编程中的诱拐，（卡卡斯，A.C.；萨德里（Sadri，F.），计算逻辑。计算逻辑，LNAI，第2407卷（2002），科瓦尔斯基·费斯特施里夫），402-436·Zbl 1012.68503号 [9] 亚瑟·M·法利。；林宽斌，经济学中的定性推理，经济学杂志。动态。控制，14,2465-490（1990） [10] Gentzen，Gerhard，Untersuchungenüber das logische Schließen，数学。Z.，39，176-210（1934），405-431英译：逻辑演绎研究，M.E.Szabo主编，Gerhard Gentzen论文集，1969·Zbl 0010.14501号 [11] John Harrison，用实数证明定理（1998），Springer:Springer London·Zbl 0932.68099号 [12] 艾莫·欣卡宁；卡尔·R·朗。；Andrew B.Whinston，《定性推理的理论基础及其在经济和商业管理问题建模中的应用》，《信息系统》。前部。，5, 4, 379-399 (2003) [13] 迈克尔·霍伊（Michael Hoy）；利弗诺伊斯，约翰；克里斯·麦肯纳（Chris McKenna）；雷·里斯；斯坦戈斯，塔纳西斯，《经济学数学》（2011），麻省理工出版社·Zbl 1216.00002号 [14] Iwasaki，Yumi，《定性推理的现实应用：特殊问题简介》，IEEE专家：智能。系统。申请。，12, 3, 16-20 (1997) [15] 加扬省卡拉尼南；赫伯特·A·西蒙。；岩崎由美，定性推理的数学基础，IEEE专家，6，2，11-19（1991） [16] Kaneko，Mamoru，认识逻辑及其博弈论应用：导论，经济学。理论，19，7-62（2002）·Zbl 0995.03014号 [17] Kaneko，Mamoru，专题讨论会：逻辑和经济学——主观思维和客观世界之间的相互作用，经济学。理论，53，1-8（2013）·Zbl 1273.91017号 [18] 曼弗雷德·科伯；克里斯托夫·兰格；科林·罗亚特，《机械化推理导论》，J.数学。经济。，66, 26-39 (2016) ·Zbl 1368.68289号 [19] 保罗·R·克鲁格曼。；Wells，Robin，《经济学》（2012），沃斯出版社 [20] 吉尔·H·拉金。；赫伯特·A·西蒙（Herbert A.Simon），为什么一个图表（有时）值一万字，科恩（Cogn）。科学。，11, 1, 65-100 (1987) [21] 林光彬；Arthur M.Farley，《定性经济推理：非均衡视角》，《计算》。科学。经济。管理。，4, 2, 117-133 (1991) ·Zbl 0729.90734号 [22] Mas Colell，安德烈乌；迈克尔·温斯顿（Michael D.Whinston）。；Jerry R.Green，《微观经济理论》（1995），牛津大学出版社·Zbl 1256.91002号 [23] Prawitz，Dag，《证明理论中的思想和结果》，《第二届斯堪的纳维亚逻辑研讨会论文集》，1971年，第237-309页·Zbl 0226.02031 [24] 达格·普拉维茨（Dag Prawitz），《自然演绎》（Natural Deduction）（1965年），多佛：多佛阿尔姆奎斯特和维克塞尔出版社，2006年·Zbl 0173.00205号 [25] Quirk，James，《定性比较静力学》，数学杂志。经济。，28, 2, 127-154 (1997) ·Zbl 0886.90037号 [26] 奥利弗·雷（Ray，Oliver），科学发现中的自动诱拐（Magnani，Li），科学、技术和医学中基于模型的推理（2007），斯普林格出版社，103-116 [27] Paul A.Samuelson，《经济分析基础》（1947），哈佛大学出版社·Zbl 0031.17401号 [28] Shimojima，Atsushi，图表的语义特性及其认知潜力（2015），CSLI出版物：CSLI出版物，加利福尼亚州斯坦福 [29] Tabachneck-Schijf，Hermina J.M。；安东尼·莱昂纳多。；Simon，Herbert A.，《CaMeRa:多重表征的计算模型》，Cogn。科学。，21, 3, 305-350 (1997) [30] Varian，Hal R.，《微观经济分析》（1992），W.W.Norton&Company 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。