Deducibility Theorems in Boolean Logic
From MaRDI portal
Publication:6478422
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.
This page was built for publication: Deducibility Theorems in Boolean Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6478422)
