Pseudo-Canonical Formulae are Classical

Caminati, Marco B. and Kornilowicz, Artur (2014) Pseudo-Canonical Formulae are Classical. Formalized Mathematics.

Full text not available from this repository.

Abstract

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) are a subset of the classical tautologies.

Item Type:

Journal Article

Journal or Publication Title:

Formalized Mathematics

Departments:

Faculty of Science and Technology > School of Computing & Communications

ID Code:

185168

Deposited By:

ep_importer_pure

Deposited On:

01 Feb 2023 12:55

Refereed?:

Yes

Published?:

Published

Last Modified:

28 Nov 2023 10:37

URI:

https://eprints.lancs.ac.uk/id/eprint/185168