NewEvery arXiv paper, its researchers & institutions — mapped.
paper

Deducibility Theorems in Boolean Logic

arXiv:math/0612340

Abstract

In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically.

4 pages