Articoli correlati a On Some Systems for Two Versions of Many-valued Logics
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 22,32
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per On Some Systems for Two Versions of Many-valued Logics
Immagini fornite dal venditore
On Some Systems for Two Versions of Many-valued Logics
Editore:
LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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 . Codice articolo 157485692
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
On Some Systems for Two Versions of Many-valued Logics
Editore:
LAP LAMBERT Academic Publishing Aug 2017, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9786202011044
Quantità: 2 disponibili
Immagini fornite dal venditore
On Some Systems for Two Versions of Many-valued Logics
Editore:
LAP LAMBERT Academic Publishing Aug 2017, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9786202011044
Quantità: 2 disponibili
Immagini fornite dal venditore
On Some Systems for Two Versions of Many-valued Logics
Editore:
LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9786202011044
Quantità: 1 disponibili
Foto dell'editore
On Some Systems for Two Versions of Many-valued Logics
Editore:
LAP LAMBERT Academic Publishing, 2017
ISBN 10: 6202011041
ISBN 13: 9786202011044
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 80 pages. 8.66x5.91x0.19 inches. In Stock. Codice articolo zk6202011041
Quantità: 1 disponibili