×
迈克尔·卡明斯基；尼西姆·弗朗西兹

多值逻辑的微积分。 （英语） Zbl 1529.03172号

日志。Univers大学。 第2期第15页，193-226（2021）.
摘要：我们给出了多值逻辑的若干等价计算，并证明了稳健性和强完备性定理。演算是从正在考虑的逻辑的真值表中直接获得的，这些演算之间有一种自然的二重性。我们还证明了序列型系统的割消定理。

引用于5文件

MSC公司：

03B50号 多值逻辑
05年3月 切割消除和正规形定理

关键词：

多值逻辑；矢列演算；二元性；自然扣除
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}和\textit{N.Francez}，日志。Univers大学。15，第2号，193--226（2021；Zbl 1529.03172）
全文： 内政部

参考文献：

[1] Avron，A.，Zamansky，A.：非确定性多值逻辑——教程。摘自：第40届IEEE多值逻辑国际研讨会论文集，ISMVL。IEEE计算机学会，第53-60页（2010年）
[2] Baaz，M.，Fermüller，C.G.，Zach，R.：多值逻辑自然演绎系统的系统构建。摘自：第23届IEEE多值逻辑国际研讨会论文集，ISMVL，IEEE计算机学会，第208-213页（1993）·Zbl 0788.03029号
[3] Baaz，M。；O.拉哈夫。；Zamansky，A.，规范标记结石的有限值语义，J.Autom。原因。，51, 401-430 (2013) ·Zbl 1314.03016号 ·doi:10.1007/s10817-013-9273-x
[4] Francez，N.，《多元归纳自然教育中的和谐》。Log大学，8215-259（2014）·Zbl 1339.03045号
[5] Francez，N。；Kaminski，M.，《关于有限值命题逻辑的多逻辑自然演绎》，J.Appl。日志。，6, 255-289 (2019) ·Zbl 1513.03053号
[6] Gentzen，G.，Untersuchungenüber das logische Schliessen I，数学。Z.，39，176-210（1935）·Zbl 0010.14501号 ·doi:10.1007/BF01201353
[7] Gentzen，G.，Untersuchungenüber das logische Schliessen II，数学。Z.，39，405-431（1935）·Zbl 0010.14601号 ·doi:10.1007/BF01201363
[8] Hanazawa，M。；Takano，M.，《直觉多值逻辑》，J.Math。Soc.Jpn.公司。，38, 409-419 (1986) ·Zbl 0631.03011号 ·doi:10.2969/jmsj/03830409
[9] 卡明斯基，M.，直觉主义命题逻辑的非标准连接词，圣母院J.Form.Log。，29, 309-331 (1988) ·Zbl 0658.03005号 ·doi:10.1305/ndjfl/1093637931
[10] Mendelson，E.，《数理逻辑导论》（2010），博卡拉顿：CRC出版社，博卡拉顿·Zbl 1173.03001号
[11] Roussenau，G.，《多值逻辑I中的序列》，Fundam。数学。，60, 23-33 (1967) ·Zbl 0154.25504号 ·doi:10.4064/fm-60-1-23-33
[12] Roussenau，G.：对论文“多值逻辑I中的序列”的更正。芬丹。数学。60, 313 (1968)
[13] Roussenau，G.，多值逻辑序列II，Fundam。数学。，67, 125-131 (1970) ·Zbl 0194.30703号 ·doi:10.4064/fm-67-1-125-131
[14] Sheffer，HM，布尔代数的一组五个独立公设，应用于逻辑常数，Trans。美国数学。《社会学杂志》，第14期，第481-488页（1913年）·JFM 44.0076.01号 ·doi:10.1090/S002-9947-1913-1500960-1
[15] 高桥，M.：扩展Gentzen风格的多值逻辑I.Sci。众议员东京公国大宅，教派。A 9271-292（1968）·Zbl 0172.00805号
[16] Takahashi，M.，扩展根岑风格的多值逻辑II，符号。日志。，35, 493-528 (1970) ·Zbl 0229.02021 ·doi:10.2307/2271438
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。