{"product_id":"extending-resource-aware-logics-von-norihiro-kamide","title":"Extending resource-aware logics","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783844324280\"\u003e\u003ch3\u003eProof systems, semantics and applications\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783844324280","offer_id":39469961314397,"sku":"9783844324280","price":79.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3675ca9e-16db-496c-ad37-c7c4ee596fcf.jpg?v=1768892701","url":"https:\/\/shop.autorenwelt.de\/en\/products\/extending-resource-aware-logics-von-norihiro-kamide","provider":"Autorenwelt Shop","version":"1.0","type":"link"}