Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil

The 16 selected papers have been revised and updated for publication. They report recent research and findings in logic, philosophical logic, and connections between logic and computer science, with a heavy emphasis on work in Brazil and elsewhere in Latin America. The topics include the mathematical structure of logical syntax, a tableau calculus for Dummett predicate logic, and a modal framework for consequential implications and the factor law. The volume is not indexed. Annotation c. Book News, Inc., Portland, OR (booknews.com)