Home > Research > Publications & Outputs > Pseudo-Canonical Formulae are Classical

Research

Text available via DOI:

View graph of relations

Pseudo-Canonical Formulae are Classical

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

Pseudo-Canonical Formulae are Classical. / Caminati, Marco B.; Kornilowicz, Artur.
In: Formalized Mathematics, 30.06.2014.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Caminati, MB & Kornilowicz, A 2014, 'Pseudo-Canonical Formulae are Classical', Formalized Mathematics. https://doi.org/10.2478/forma-2014-0011

APA

Caminati, M. B., & Kornilowicz, A. (2014). Pseudo-Canonical Formulae are Classical. Formalized Mathematics. https://doi.org/10.2478/forma-2014-0011

Vancouver

Caminati MB, Kornilowicz A. Pseudo-Canonical Formulae are Classical. Formalized Mathematics. 2014 Jun 30. doi: https://doi.org/10.2478/forma-2014-0011

Author

Caminati, Marco B. ; Kornilowicz, Artur. / Pseudo-Canonical Formulae are Classical. In: Formalized Mathematics. 2014.

Bibtex

@article{2ee174c8e5eb4754bc7ac0be1a9308a8,
title = "Pseudo-Canonical Formulae are Classical",
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.",
author = "Caminati, {Marco B.} and Artur Kornilowicz",
year = "2014",
month = jun,
day = "30",
doi = "https://doi.org/10.2478/forma-2014-0011",
language = "English",
journal = "Formalized Mathematics",

}

RIS

TY - JOUR

T1 - Pseudo-Canonical Formulae are Classical

AU - Caminati, Marco B.

AU - Kornilowicz, Artur

PY - 2014/6/30

Y1 - 2014/6/30

N2 - 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.

AB - 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.

U2 - https://doi.org/10.2478/forma-2014-0011

DO - https://doi.org/10.2478/forma-2014-0011

M3 - Journal article

JO - Formalized Mathematics

JF - Formalized Mathematics

ER -