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

Download data is not yet available.

Downloads

Published

2001-07-09

Issue

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

Section

Mathematics

License

Copyright (c) 2001 Proceedings of the YSU

Creative Commons 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