COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC

S. M. Sayadyan

doi:10.46991/PYSU:A/2005.39.2.025

COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC

Authors

S. M. Sayadyan Chair of Informatics and Electronic Computers, YSU, Armenia

DOI:

https://doi.org/10.46991/PYSU:A/2005.39.2.025

Keywords:

intuitionistic propositional logic, classical logic, p-simulation relation

Abstract

A fragment of hierarchy of the proof systems for intuitionistic propositional logic under the p-simulation relation is constructed. These systems are resolution system, natural, Hilbert-style system and sequence system. The obtained hierarchy is the same as the hierarchy for analogous systems of classical logic.

Downloads

Published

2005-06-10

How to Cite

Sayadyan, S. M. (2005). COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, 39(2 (207), 25–30. https://doi.org/10.46991/PYSU:A/2005.39.2.025