Open Access

Pseudo-Canonical Formulae are Classical

Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library

Cite

An original result about Hilbert Positive Propositional Calculus introduced in [11] is proven. That is, it is shown that the pseudo-canonical formulae of that calculus (and hence also the canonical ones, see [17]) are a subset of the classical tautologies.

eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, other