Substructural Logics: A Primer - Trends in Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048160143, 9789401731799

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relational Semantics

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_7 ◽

2002 ◽

pp. 221-255

Author(s):

Francesco Paoli

Keyword(s):

Relational Semantics

Download Full-text

The Role of Structural Rules in Sequent Calculi

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_1 ◽

2002 ◽

pp. 3-37

Author(s):

Francesco Paoli

Keyword(s):

Sequent Calculi ◽

Structural Rules

Download Full-text

Other Formalisms

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_4 ◽

2002 ◽

pp. 115-155

Author(s):

Francesco Paoli

Download Full-text

Cut Elimination and the Decision Problem

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_3 ◽

2002 ◽

pp. 87-113

Author(s):

Francesco Paoli

Keyword(s):

Decision Problem ◽

Cut Elimination

Download Full-text

Basic Proof Systems for Substructural Logics

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_2 ◽

2002 ◽

pp. 41-85 ◽

Cited By ~ 1

Author(s):

Francesco Paoli

Keyword(s):

Substructural Logics ◽

Proof Systems

Download Full-text

Algebraic Structures

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_5 ◽

2002 ◽

pp. 159-197

Author(s):

Francesco Paoli

Keyword(s):

Algebraic Structures

Download Full-text

Algebraic Semantics

Substructural Logics: A Primer - Trends in Logic ◽

10.1007/978-94-017-3179-9_6 ◽

2002 ◽

pp. 201-220

Author(s):

Francesco Paoli

Keyword(s):

Algebraic Semantics

Download Full-text

Substructural Logics: A Primer - Trends in LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Relational Semantics

The Role of Structural Rules in Sequent Calculi

Other Formalisms

Cut Elimination and the Decision Problem

Basic Proof Systems for Substructural Logics

Algebraic Structures

Algebraic Semantics

Substructural Logics: A Primer - Trends in Logic
Latest Publications