Applied Logic Series - Proof Theory and Automated Deduction
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9781402003684, 9789401139816

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Incorporating Knowledge

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_9 ◽

1997 ◽

pp. 293-340

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Download Full-text

Resolution

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_7 ◽

1997 ◽

pp. 233-268

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Download Full-text

First-Order Classical Logic

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_6 ◽

1997 ◽

pp. 185-231

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Keyword(s):

Classical Logic ◽

Download Full-text

The Curry-Howard Correspondence

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_4 ◽

1997 ◽

pp. 131-155

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Download Full-text

Other Propositional Logics

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_3 ◽

1997 ◽

pp. 73-129

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Download Full-text

Classical Propositional Logic

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_2 ◽

1997 ◽

pp. 11-72

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Keyword(s):

Propositional Logic ◽

Classical Propositional Logic

Download Full-text

Logic Programming Languages

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_10 ◽

1997 ◽

pp. 341-356

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Logic Programming Languages

Download Full-text

Introduction

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_1 ◽

1997 ◽

pp. 1-10

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Download Full-text

Tableaux, Connections and Matings

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_8 ◽

1997 ◽

pp. 269-291

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Download Full-text

Modal and Temporal Logics

Applied Logic Series - Proof Theory and Automated Deduction ◽

10.1007/978-94-011-3981-6_5 ◽

1997 ◽

pp. 157-183

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text