On Some Systems for Two Versions of Many-valued Logics - Chubaryan, Anahit;Khamisyan, Artur;Petrosyan, Garik
17,99 €
inkl. MwSt.

Versandfertig in 1-2 Wochen
payback
9 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Anahit A. Chubaryan, Doctor of science, Professor of Mathematics, Full Professor of Department of Informatics and Applied Mathematics. Subjects: Mathematical Logic, Theory of Algorithms, Common Theory of Complexity, Proof Complexity. Major fields of Scientific Research: Proof Complexity, systems of nonclassical logic.