Overview

Full Product Details

Author:   Luiz Carlos Pereira ,  Edward Haeusler ,  Valeria de Paiva
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of the original 1st ed. 2014
Volume:   39
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   4.511kg
ISBN:  

9789402406870

ISBN 10:   9402406875
Pages:   279
Publication Date:   03 September 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

"Chapter 1. Generalizaed elimination inferences; Schroeder-Heister, Peter.- Chapter 2. Revisiting Zucker's work on the Correspondence between Cut-Elimination and Normalisation; Urban, Christian.- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste.- Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G.- Chapter 5. Proof-theoretical Conception of Logic; Legris, Javier.- Chapter 6. On the Structure of Natural deduction Derivations for ""Generally""; Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sheila R.M.- Chapter 7. Type Theories from Barendregt's Cube for Theorem Provers; Seldin, Jonathan P.- Chapter 8. What is propositional logic, a theory of, if anything?; Chateaubriand, Oswaldo.- Chapter 9. Categorical Semantics of Linear Logic for All; de Paiva, Valeria.- Chapter 10. Rough sets and proof-theory; Bellin, Gianluigi.- Chapter 11. Decomposition of Reduction; Zimmermann, Ernst.- Chapter 12. An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited; Prawitz, Dag.​"

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions