{"product_id":"abstract-general-algebraic-logic-alexej-pavlovich-pynko-9781070255606","title":"Abstract General Algebraic Logic: Applications to sequent calculi","description":"Here, we develop foundations of Abstract General Algebraic Logiс upon the basis of the conceptions of abstract languages, calculi and translations.We mainly concentrate on advanced appilcations of it to many-place sequent calculi over abstract languages extending various important results previously obtained for either formal or many-sorted first-order languages to abstract ones. This, in particular, concerns the issues of fuzzy semantics(especially, not necessarily distributive one for two-side ortho-structural rules) and deduction theorem for multiplicative calculi with structural rules.Among other things, the abstract framework elaborated here provides a perfectly formal view onto both sequent calculi with places as finite sets and their algebraization.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Alexej Pavlovich Pynko\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1070255602\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781070255606\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Independently Published\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/28\/2019\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 80\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.26lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.02h x 5.98w x 0.17d","brand":"Alexej Pavlovich Pynko","offers":[{"title":"Paperback","offer_id":48113249845503,"sku":"9781070255606","price":200.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_29fb666e-8821-4e93-8732-d474299d2656.jpg?v=1769613887","url":"https:\/\/www.whiterainbookhouse.com\/products\/abstract-general-algebraic-logic-alexej-pavlovich-pynko-9781070255606","provider":"WR Book House","version":"1.0","type":"link"}