{"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.
期刊介绍:
The “Italian Journal of Pure and Applied Mathematics” publishes original research works containing significant results in the field of pure and applied mathematics.