Propositional manifolds and logical cohomology

Joseph Kouneiher

Arasu Balan

pp. 147-154

in: Synthese 125, 2000.

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.