Publisher's Synopsis
The paradigm of logic as an executable language is currently based on classical logic, and yet there is no existing formulation of classical logic which leads naturally to, and supports, this paradigm. Recently many extensions of classical logic have been used in computer science including temporal, modal, relevance and fuzzy logics, but resolution becomes even less intuitive if extended to handle these logics. This book presents a new formulation of classical logic which can be naturally modified to yield the effect of non-classical logics.;Written from a procedural point of view the authors of this book ensure that in their presentation of various logics the intuitive meaning of the connectives is retained, and that the reasoning rules and the theorem prover follow as closely as possible the intuitive reasoning procedures used by humans. The principles involved in the reasoning of the logic and the theorem prover are layered and structured and show a range of stronger and stronger fragments of logic. Variations on the principles involved in the proof procedures and the theorem prover allow for variations of classical logic in a natural way and can be extended to handle model and temporal logics.