Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics
Karabakhtsyan Arman and
Additional contact information
Chubaryan Anahit: Doctor of Physical and Mathematical Sciences, Full Professor of Yerevan State University and Russian-Armenian University, Armenia
Karabakhtsyan Arman: Master Student of Department of Applied Mathematics and Informatics of Russian-Armenian University, Armenia
Petrosyan Garik: Master Student of Department of Informatics and Applied Mathematics of Yerevan State University, Armenia
Journal of Asian Scientific Research, 2018, vol. 8, issue 2, 61-72
In this paper we investigate two properties of some propositional systems of Intuitionistic, Johansson?s and Monotone logics: 1) the relations between the proofs complexities of strongly equal tautologies (valid sequents) and 2) the relations between the proofs complexities of minimal tautologies (valid sequents) and of results of substitutions in them. We show that 1) strongly equal tautologies (valid sequents) can have essential different proof complexities in the same system and 2) the result of substitution can be proved easier, than corresponding minimal tautology (valid sequents), therefore the systems, which are considered in this paper, are no monotonous neither by lines nor by size.
Keywords: Strongly equal tautology; Minimal tautology; Sequent proof systems; Frege systems; Proof complexity measures; Monotonous system. (search for similar items in EconPapers)
References: View complete reference list from CitEc
Citations: Track citations by RSS feed
Downloads: (external link)
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
Persistent link: https://EconPapers.repec.org/RePEc:asi:joasrj:2018:p:61-72
Access Statistics for this article
Journal of Asian Scientific Research is currently edited by Dr. RAMANI. K
More articles in Journal of Asian Scientific Research from Asian Economic and Social Society 2637 E Atlantic Blvd #43110 Pompano Beach, FL 33062, USA.
Bibliographic data for series maintained by Chan Hoi Yan ().