Skip to main content
PBS logo
 
 

Search - The Functional Interpretation of Logical Deduction (Advances in Logic)

The Functional Interpretation of Logical Deduction (Advances in Logic)
The Functional Interpretation of Logical Deduction - Advances in Logic
Author: Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
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 ma...  more »
ISBN-13: 9789814360951
ISBN-10: 9814360953
Publication Date: 10/31/2011
Pages: 300
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: World Scientific Publishing Company
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.