The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them

Anahit Chubaryan, Armine Chubaryan, Arman Tshitoyan

Abstract


We study some structural and numerical properties of varieties for determinative disjunctive normal forms, introduced here for given propositional formula. We consider for classical and non-classical propositional logics some proof systems, which are constructed on the base of determinative disjunctive normal forms. We investigate also the relation between the proof complexities in some well-known classical and non-classical proof systems (Resolution, Cut-free sequent, Gentzen refutation, Cutting planes etc.) and numerical properties of varieties for determinative disjunctive normal forms for classical and non-classical tautologies.

Full Text: PDF DOI: 10.5539/jmr.v4n6p89

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Mathematics Research   ISSN 1916-9795 (Print)   ISSN 1916-9809 (Online)

Copyright © Canadian Center of Science and Education

To make sure that you can receive messages from us, please add the 'ccsenet.org' domain to your e-mail 'safe list'. If you do not receive e-mail in your 'inbox', check your 'bulk mail' or 'junk mail' folders.