
Functional Interpretation Of Logical Deduction, The
World Scientific Publishing Co Pte Ltd
Published on 2. November 2011
Book
Hardback
300 pages
978-981-4360-95-1 (ISBN)
Description
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Researchers, professionals, academics and graduate students in theoretical computer science, (analytic) philosophy, and logic and set theory.
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 21 mm
Weight
588 gr
ISBN-13
978-981-4360-95-1 (9789814360951)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Author
Univ Federal De Pernambuco (Ufpe), Brazil
King's College London, Uk
Univ Federal De Pernambuco (Ufpe), Brazil
Content
Labelled Natural Deduction; The Functional Interpretation of Implication; The Existential Quantifier; Normalisation; Natural Deduction for Equality; Normalisation for the Equality Fragment; Modal Logics; Meaning and Proofs: A Reflection on Proof-Theoretic Semantics.