{"product_id":"on-some-systems-for-two-versions-of-many-valued-logics-von-anahit-chubaryan-artur-khamisyan-garik-petrosyan","title":"On Some Systems for Two Versions of Many-valued Logics","description":"\u003cp\u003eThe current research refers to the problem of constructing several proof systems for two versions of many-valued propositional logic and investigating of their properties . The generalization of Kalmar¿s proof of deducibility for two-valued tautologies in the classical propositional logic gives us a possibility to suggest 1) a new method of proving the completeness of propositional proof system of three-valued logic of Lukasewicz that it is essentially simpler than other known proofs of completeness and can be easily modified into a proof of completeness for other versions of k-valued logics for k¿3 and even for fuzzy logic as well, 2) a method of defining many traditional variants of proof systems for k-valued (k¿3) logics, the completeness of which is easily proved directly, without the usual immersion into two-valued logic. Most of all the introduced proof systems are ¿weak¿ ones with a ¿simple strategist¿ of proof search and we have also investigated the quantitative properties, related to proof complexity characteristics in them.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786202011044\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9786202011044","offer_id":39459834331229,"sku":"9786202011044","price":23.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/fb3743bb-d9ab-44f5-895a-9d184d463f62.jpg?v=1773815957","url":"https:\/\/shop.autorenwelt.de\/products\/on-some-systems-for-two-versions-of-many-valued-logics-von-anahit-chubaryan-artur-khamisyan-garik-petrosyan","provider":"Autorenwelt Shop","version":"1.0","type":"link"}