Generalization of Kalmar’s Proof of Deducibility in Two Valued Propositional Logic into Many Valued Logic

IF 0.2 Q4 MATHEMATICS
Chubaryan Anahit, Khamisyan Artur
{"title":"Generalization of Kalmar’s Proof of Deducibility in Two Valued Propositional Logic into Many Valued Logic","authors":"Chubaryan Anahit, Khamisyan Artur","doi":"10.11648/J.PAMJ.20170602.12","DOIUrl":null,"url":null,"abstract":"This paper focuses on the problem of constructing of some standard Hilbert style proof systems for any version of many valued propositional logic. The generalization of Kalmar’s proof of deducibility for two valued tautologies inside classical propositional logic gives us a possibility to suggest some method for defining of two types axiomatic systems for any version of 3-valued logic, completeness of which is easy proved direct, without of loading into two valued logic. This method i) can be base for direct proving of completeness for all well-known axiomatic systems of k-valued (k≥3) logics and may be for fuzzy logic also, ii) can be base for constructing of new Hilbert-style axiomatic systems for all mentioned logics.","PeriodicalId":46057,"journal":{"name":"Italian Journal of Pure and Applied Mathematics","volume":"84 1","pages":"71"},"PeriodicalIF":0.2000,"publicationDate":"2017-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Italian Journal of Pure and Applied Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.11648/J.PAMJ.20170602.12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 6

Abstract

This paper focuses on the problem of constructing of some standard Hilbert style proof systems for any version of many valued propositional logic. The generalization of Kalmar’s proof of deducibility for two valued tautologies inside classical propositional logic gives us a possibility to suggest some method for defining of two types axiomatic systems for any version of 3-valued logic, completeness of which is easy proved direct, without of loading into two valued logic. This method i) can be base for direct proving of completeness for all well-known axiomatic systems of k-valued (k≥3) logics and may be for fuzzy logic also, ii) can be base for constructing of new Hilbert-style axiomatic systems for all mentioned logics.
二值命题逻辑中Kalmar的可演绎性证明推广到多值逻辑
本文研究了多值命题逻辑的任意版本的标准Hilbert式证明系统的构造问题。经典命题逻辑中卡尔玛二值重言式的可演绎性证明的推广,给我们提供了一种定义任意三值逻辑的两种类型公理系统的方法,它的完备性不需要加载到二值逻辑中,而易于直接证明。该方法可作为直接证明所有已知的k值(k≥3)逻辑公理系统完备性的基础,也可用于模糊逻辑,可作为构造所有上述逻辑的新的hilbert式公理系统的基础。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
0.60
自引率
0.00%
发文量
2
期刊介绍: The “Italian Journal of Pure and Applied Mathematics” publishes original research works containing significant results in the field of pure and applied mathematics.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信