Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (STUDIES IN LOGIC AND COMPUTATION)

Broda, Dov M. Gabbay, Alessandra Russo (all computing or computer science, Imperial College, London) and LuÍs C. Lamb (information, UFRGS, Brazil) argue that though the many families of logic may seem to differ in their logical nature, it is possible to provide them with a unifying logical framework whenever their semantics is axiomatizable in first-order logic. They provide such a framework based on the labeled deductive system methodology, and demonstrate how it works in such families as normal modal logics, conditional logics of normality, the modal logic of elsewhere, the multiplicative fragment of substructural linear logic, and Lukasiewica fuzzy logic. Distributed in the US by AIDC. Annotation ©2004 Book News, Inc., Portland, OR (booknews.com)