Pseudo-Canonical Formulae are Classical

Marco B Caminati; Artur Kornilowicz

doi:10.2478/forma

Pseudo-Canonical Formulae are Classical

Marco B Caminati, Artur Kornilowicz

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	99-104
Number of pages	6
Journal	Formalized Mathematics
Volume	2
DOIs	https://doi.org/10.2478/forma
Publication status	Published - 2014

Keywords

Hilbert positive propositional calculus
classical logic
canonical formulae

Access to Document

10.2478/forma

Cite this

@article{89a49cee30e74065b998a71beb011928,

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.",

keywords = "Hilbert positive propositional calculus, classical logic, canonical formulae",

author = "Caminati, {Marco B} and Artur Kornilowicz",

year = "2014",

doi = "10.2478/forma",

language = "English",

volume = "2",

pages = "99--104",

journal = "Formalized Mathematics",

publisher = "de Gruyter",

}

TY - JOUR

T1 - Pseudo-Canonical Formulae are Classical

AU - Caminati, Marco B

AU - Kornilowicz, Artur

PY - 2014

Y1 - 2014

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.

KW - Hilbert positive propositional calculus

KW - classical logic

KW - canonical formulae

U2 - 10.2478/forma

DO - 10.2478/forma

M3 - Article

VL - 2

SP - 99

EP - 104

JO - Formalized Mathematics

JF - Formalized Mathematics

ER -

Pseudo-Canonical Formulae are Classical

Abstract

Keywords

Access to Document

Fingerprint

Cite this