Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics

Chubaryan Anahit (), Karabakhtsyan Arman and Petrosyan Garik

Journal of Asian Scientific Research, 2018, vol. 8, issue 2, 61-72

Abstract: 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)
Date: 2018
References: Add references at CitEc
Citations:

Downloads: (external link)
https://archive.aessweb.com/index.php/5003/article/view/3876/6095 (application/pdf)
https://archive.aessweb.com/index.php/5003/article/view/3876/6442 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:asi:joasrj:v:8:y:2018:i:2:p:61-72:id:3876

Access Statistics for this article

More articles in Journal of Asian Scientific Research from Asian Economic and Social Society
Bibliographic data for series maintained by Robert Allen ().