Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics
Crossref DOI link: https://doi.org/10.18488/journal.2.2018.82.61.72
Published Online: 2018
Published Print: 2018
Update policy: https://doi.org/10.18488/crossmarkpolicypage.1002
Anahit, Chubaryan
Arman, Karabakhtsyan
Garik, Petrosyan
