- We will send in 10–14 business days.
/images/books/13400014/9783844324280.jpg)
- Author: Norihiro Kamide
- Publisher: LAP Lambert Academic Publishing
- ISBN-10: 3844324283
- ISBN-13: 9783844324280
- Format: 15.2 x 22.9 x 1.6 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing resource-sensitive reasoning. In this book, we study (1) some temporal extensions (i.e., extensions by adding some temporal operators) of linear and non-commutative logics, (2) some generalizations of these temporal linear and non-commutative logics, (3) some paraconsistent and involutive extensions (i.e., extensions by adding a paraconsistent negation connective or an involution operator) of linear and non-commutative logics.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.00:06:28
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Norihiro Kamide
- Publisher: LAP Lambert Academic Publishing
- ISBN-10: 3844324283
- ISBN-13: 9783844324280
- Format: 15.2 x 22.9 x 1.6 cm, softcover
- Language: English English
This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing resource-sensitive reasoning. In this book, we study (1) some temporal extensions (i.e., extensions by adding some temporal operators) of linear and non-commutative logics, (2) some generalizations of these temporal linear and non-commutative logics, (3) some paraconsistent and involutive extensions (i.e., extensions by adding a paraconsistent negation connective or an involution operator) of linear and non-commutative logics.
Reviews