Keyword:Boolean algebra

Publications
Hilbert Mathematics Versus (or Rather “Without”) Gödel Mathematics: V. Ontomathematics! Vasil Penchev EasyChair Preprint 13069
Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s “Completeness Paper” (1930) Vasil Penchev EasyChair Preprint 9551
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint 9073
A new Glivenko Theorem Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic