Labelled Non-Classical Logics
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer US

9781441949622, 9781475732085

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Substructural Analysis of S(K)

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_9 ◽

2000 ◽

pp. 187-200

Author(s):

Luca Viganò

Download Full-text

Encoding Labelled Non-Classical Logics in Isabelle

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_5 ◽

2000 ◽

pp. 115-135

Author(s):

Luca Viganò

Download Full-text

Labelled Natural Deduction Systems for Quantified Modal Logics

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_4 ◽

2000 ◽

pp. 91-113

Author(s):

Luca Viganò

Keyword(s):

Natural Deduction ◽

Download Full-text

Labelled Natural Deduction Systems for Propositional Non-Classical Logics

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_3 ◽

2000 ◽

pp. 53-89

Author(s):

Luca Viganò

Keyword(s):

Natural Deduction

Download Full-text

Discussion

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_13 ◽

2000 ◽

pp. 253-262

Author(s):

Luca Viganò

Download Full-text

Substructural Analysis of S(T)

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_10 ◽

2000 ◽

pp. 201-222

Author(s):

Luca Viganò

Download Full-text

Introduction

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_1 ◽

2000 ◽

pp. 1-14

Author(s):

Luca Viganò

Download Full-text

Labelled Natural Deduction Systems for Propositional Modal Logics

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_2 ◽

2000 ◽

pp. 17-52

Author(s):

Luca Viganò

Keyword(s):

Natural Deduction ◽

Download Full-text

Conclusions and Further Research

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_14 ◽

2000 ◽

pp. 263-265

Author(s):

Luca Viganò

Download Full-text

Introduction and Preliminaries

Labelled Non-Classical Logics ◽

10.1007/978-1-4757-3208-5_8 ◽

2000 ◽

pp. 167-185

Author(s):

Luca Viganò

Download Full-text