Trends in Logic - Advances in Natural Deduction
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Netherlands

9789400775473, 9789400775480

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_5 ◽

2014 ◽

pp. 93-101

Author(s):

Javier Legris

Keyword(s):

Theoretical Conception

Download Full-text

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_1 ◽

2014 ◽

pp. 1-29 ◽

Author(s):

Peter Schroeder-Heister

Keyword(s):

Sequent Calculus

Download Full-text

Natural Deduction for Equality: The Missing Entity

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_4 ◽

2014 ◽

pp. 63-91

Author(s):

Ruy J. G. B. de Queiroz ◽

Anjolina G. de Oliveira

Keyword(s):

Natural Deduction

Download Full-text

On the Structure of Natural Deduction Derivations for “Generally”

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_6 ◽

2014 ◽

pp. 103-128

Author(s):

Leonardo B. Vana ◽

Paulo A. S. Veloso ◽

Sheila R. M. Veloso

Keyword(s):

Natural Deduction

Download Full-text

Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_2 ◽

2014 ◽

pp. 31-50 ◽

Author(s):

Christian Urban

Keyword(s):

Cut Elimination

Download Full-text

Proofs, Reasoning and the Metamorphosis of Logic

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_3 ◽

2014 ◽

pp. 51-61

Author(s):

Jean-Baptiste Joinet

Download Full-text

What is Propositional Logic a Theory of, if Anything?

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_8 ◽

2014 ◽

pp. 145-180

Author(s):

Oswaldo Chateaubriand

Keyword(s):

Propositional Logic

Download Full-text

An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_12 ◽

2014 ◽

pp. 269-279 ◽

Author(s):

Dag Prawitz

Keyword(s):

Intuitionistic Logic ◽

Proof Theory ◽

Download Full-text

Categorical Semantics of Linear Logic for All

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_9 ◽

2014 ◽

pp. 181-192

Author(s):

Valeria de Paiva

Keyword(s):

Linear Logic ◽

Categorical Semantics

Download Full-text

Type Theories from Barendregt’s Cube for Theorem Provers

Trends in Logic - Advances in Natural Deduction ◽

10.1007/978-94-007-7548-0_7 ◽

2014 ◽

pp. 129-144

Author(s):

Jonathan P. Seldin

Keyword(s):

Theorem Provers

Download Full-text