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
ID Code:
185168
Deposited By:
Deposited On:
01 Feb 2023 12:55
Refereed?:
Yes
Published?:
Published
Last Modified:
15 Jul 2024 23:29