Applied Logic Series - Goal-Directed Proof Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048155262, 9789401717137

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Intermediate Logics

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_3 ◽

2000 ◽

pp. 93-115

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Keyword(s):

Intermediate Logics

Download Full-text

Intuitionistic and Classical Logics

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_2 ◽

2000 ◽

pp. 21-91 ◽

Cited By ~ 1

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Download Full-text

Modal Logics of Strict Implication

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_4 ◽

2000 ◽

pp. 117-169

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Keyword(s):

Modal Logics ◽

Strict Implication

Download Full-text

Substructural Logics

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_5 ◽

2000 ◽

pp. 171-248

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Keyword(s):

Substructural Logics

Download Full-text

Introduction

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_1 ◽

2000 ◽

pp. 1-19

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Download Full-text

Conclusions and Further Work

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_6 ◽

2000 ◽

pp. 249-254

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Download Full-text

Applied Logic Series - Goal-Directed Proof TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Intermediate Logics

Intuitionistic and Classical Logics

Modal Logics of Strict Implication

Substructural Logics

Introduction

Conclusions and Further Work

Applied Logic Series - Goal-Directed Proof Theory
Latest Publications