Type: BOOK - Published: 1996 - Publisher: Oxford University Press on Demand
This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.
Type: BOOK - Published: 2004 - Publisher: Research Studies PressLtd
This book introduces a general framework, called Compiled Labelled Deductive System (CLDS), for a unified presentation of logics. It shows how this technique is applied to various families of non-classical logics widely used in Computer Science and Artificial Intelligence. It includes complete natural deduction proof systems, together with proofs and