Handbook of Philosophical Logic

ISBN-13: 9789048160556 / Angielski / Miękka / 2010 / 368 str.

Dov M. Gabbay; F. Guenthner

Opis

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.

Recenzje

"The best starting point for exploring any of the topics in logic"
                                                                  Encyclopaedia Britannica

Spis treści

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.