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

Anahit Chubaryan

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This work is licensed under Creative Commons Attribution–NonCommercial International License (CC BY-NC 4.0).

Abstract

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

Author(s)

Table of Contents

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

Abstract

Author(s)

Table of Contents

Related Articles

ON UNIQUENESS OF HOLOMORPHIC AND BOUNDED OUTSIDE THE CLOSED LOGARITHMIC SECTOR FUNCTIONS REPRESENTABLE BY LACUNARY POWER SERIES

COMPUTER DETECTING AND PROCESSING OF THE SIGNALS OF A FLAT-COIL ABSOLUTE-POSITION SENSOR BASED SEISMIC DETECTOR

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

Abstract

Subscribe to TheGufo Newsletter​

Subscribe to TheGufo Newsletter