COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC
DOI:
https://doi.org/10.46991/PYSU:A/2005.39.2.025Keywords:
intuitionistic propositional logic, classical logic, p-simulation relationAbstract
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
Issue
Section
Informatics
License
Copyright (c) 2005 Proceedings of the YSU
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.