Items related to On Some Systems for Two Versions of Many-valued Logics
Synopsis
The 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.
"synopsis" may belong to another edition of this title.
About the Author
Anahit A. Chubaryan, Doctor of Sciences, Professor of Mathematics, Full Professor of Department of Informatics and Applied Mathematics, Yerevan State University and Russian-Armenian University. Subjects: Mathematical Logic, Common Theory of Complexity, Proof Complexity. Major fields: Proof Complexity, Systems of nonclassical and many-valued Logics.
"About this title" may belong to another edition of this title.
Buy New
View this item
US$ 29.05
US$ 27.14 shipping from Germany to U.S.A.
Destination, rates & speedsSearch results for On Some Systems for Two Versions of Many-valued Logics
Seller Image
On Some Systems for Two Versions of Many-valued Logics
Published by
LAP LAMBERT Academic Publishing Aug 2017, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 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. 80 pp. Englisch. Seller Inventory # 9786202011044
Quantity: 2 available
Stock Image
On Some Systems for Two Versions of Many-valued Logics
Published by
LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 80 pages. 8.66x5.91x0.19 inches. In Stock. Seller Inventory # zk6202011041
Quantity: 1 available
Seller Image
On Some Systems for Two Versions of Many-valued Logics
Published by
LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Chubaryan AnahitAnahit A. Chubaryan, Doctor of Sciences, Professor of Mathematics, Full Professor of Department of Informatics and Applied Mathematics, Yerevan State University and Russian-Armenian University. Subjects: Mathematical . Seller Inventory # 157485692
Quantity: Over 20 available
Seller Image
On Some Systems for Two Versions of Many-valued Logics
Published by
LAP LAMBERT Academic Publishing Aug 2017, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -The 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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 80 pp. Englisch. Seller Inventory # 9786202011044
Quantity: 2 available
Seller Image
On Some Systems for Two Versions of Many-valued Logics
Published by
LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The 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. Seller Inventory # 9786202011044
Quantity: 1 available