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

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.