Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Inbunden, Engelska, 2014

1 378 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

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.