Abstract

In this note, we outline a definition of propositional manifold and logical cohomology. An application is also considered for mathematics: two Boole algebras of mathematical propositions are non equivalent if their two cohomologies are not isomorphic.