ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS

Author(s)

ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS Anahit Chubaryan

We investigate the relations between the proof lines of non-minimaltautologies and its minimal tautologies for the Frege systems, the sequent systemswith cut rule and the systems of natural deductions of classical and nonclassicallogics. We show that for these systems there are sequences of tautologiesψn,every one of which has unique minimal tautologiesφnsuch that for eachntheminimal proof lines ofφnare an order more than the minimal proof lines ofψn

DOI: 10.46991/PYSU:A/2020.54.3.127 Physical and Mathematical Sciences, 54(3 (253) 127-136

Download PDF

Keywords

minimal tautology, Frege system, sequent system, natural deduction system, proof lines, proof sizes, monotonous and strongly monotonous system

Check for updates

Share

Contact admin with any questions, comments or concerns

[email protected]