ON SOME SYSTEM OF PROPOSITIONAL LOGICS CALCULUS

A. A. Chubaryian

doi:10.46991/PYSUA.2001.35.2.022

ON SOME SYSTEM OF PROPOSITIONAL LOGICS CALCULUS

Authors

A. A. Chubaryian Chair of Algebraic and Logical Methods of Computer Science, YSU, Armenia

DOI:

https://doi.org/10.46991/PYSUA.2001.35.2.022

Abstract

In this paper generalizations of "modus ponens" rules are defined on the basis of which a certain system of propositional logics calculus is constructed to which both the Frege systems and the Frege systems with substitutions are polynomially brought.

Downloads

Published

2001-07-09

Issue

Vol. 35 No. 2 (195) (2001)

Section

Mathematics

License

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

How to Cite

Chubaryian, A. A. (2001). ON SOME SYSTEM OF PROPOSITIONAL LOGICS CALCULUS. Proceedings of the YSU A: Physical and Mathematical Sciences, 35(2 (195), 22-26. https://doi.org/10.46991/PYSUA.2001.35.2.022