Synopses & Reviews
The ninth volume of the
Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality.
Audience: Students and researchers whose work or interests involve philosophical logic and its applications.
Review
"The best starting point for exploring any of the topics in logic" Encyclopaedia Britannica
Synopsis
The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.
Table of Contents
Editorial Preface;
D.M. Gabbay. Rewriting Logic as a Logical and Semantic Framework; N. Martí-Oliet, J. Meseguer.
Logical Frameworks; D. Basin, S. Matthews.
Proof Theory and Meaning; G. Sundholm.
Goal Directed Deductions; D.M. Gabbay, N. Olivetti.
On Negation, Completeness and Consistency; A. Avron.
Logic as General Rationality: A Survey; T. Sales.
Index.