@MISC{HILBERT4.MIZ,
  AUTHOR = {Caminati, Marco B. and Korni{\l}owicz, Artur},
  TITLE = {Pseudo-canonical Formulae are Classical},
  DAY = {25},
  MONTH = {May},
  YEAR = {2014},
  ADDRESS1 = {Mathematics Department "G.Castelnuovo"\\ Sapienza
    University of Rome\\ Piazzale Aldo Moro 5, 00185 Roma, Italy},
  ADDRESS2 = {Institute of Informatics, University of Bia{\l}ystok},
  SECTION1 = {Preliminaries about injectivity, involutiveness, fixed points},
  SECTION2 = {Facts about Perm's fixed points},
  SECTION3 = {Axiom of choice in functional form via the Fraenkel operator},
  SECTION4 = {Building a suitable SetValuation and a suitable permutation of it},
  SECTION5 = {Classical semantics via SetVal0, an extension of SetVal},
  SUMMARY = {An original result about Hilbert Positive Propositional
  Calculus introduced in \cite{HILBERT1.ABS} is proven.
  That is, it is shown that the pseudo-canonical formulae of
  that calculus (and hence also the canonical ones,
  see \cite{HILBERT3.ABS}) are a subset of the classical tautologies.}}
