On the Hierarchies of Some Propositional Systems for Classical and Non-classical Logics

Authors

  • Anahit Chubaryan Yerevan State University

Abstract

N/A

Author Biography

Anahit Chubaryan, Yerevan State University

Department of Informatics and Applied Mathematics

References

An. Chubaryan, Arm. Chubaryan, A new conception of equality of tautologies, L&PS, Vol. V, No 1, Triest, Italy, 2007, 3-8.

An. Chubaryan, Arm. Chubaryan, H. Nalbandyan, S. Sayadyan, A hierarchy of resolution systems with restricted substitution rules, Computer Technology and Application 3, David Publishing, USA, 2012, 330-336.

S. Cook, R. Reckhow, The relative efficiency of propositional proofs systems, Journal of Symbolic Logic, 44, 1979, 36-50.

Downloads

Published

2021-12-10

How to Cite

Chubaryan, A. (2021). On the Hierarchies of Some Propositional Systems for Classical and Non-classical Logics. Mathematical Problems of Computer Science, 38, 95–96. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/579

Issue

Vol. 38 (2012): Mathematical Problems of Computer Science

Section

Conference papers

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.