Laws of the Logical Calculi
Carroll Morgan and J. W. Sanders
Abstract
This document records some important laws of classical predicate logic. It is designed as a reservoir to be trapped by users of logic, in system development. Though a systematic presentation is attempted, many of the laws appear just because they happen to be useful.
Institution
OUCL
Month
September
Number
PRG78
Pages
19
Year
1989