{"product_id":"axiomatization-of-finitely-valued-logics-alexej-p-pynko-9798593038739","title":"Axiomatization of finitely-valued logics","description":"Here, we develop a unversal method of [effective] constructinga [finite] Hilbert-style axiomatization of the logic of a givenfinite disjunctive\/implicative matrix with equality determinant[and finitely many connectives](in particular, any\/ implicative four-valued expansion of Belnap'sfour-valued logic \/[as well as any \\L{}ukasiewicz finitely-valued logic]).As a by-product, we also prove that the poset of all disjunctive\/axiomaticextensions of the logic is dual to the finite distributive latticeof all relatively-hereditary subsets of the set of allconsistent submatrices of the matrix [to be found effectivelytogether with their finite relative axiomatizations andboth sound and complete matrix semantics]\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Alexej P. Pynko\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9798593038739\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Independently Published\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/10\/2021\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 54\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.19lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.02h x 5.98w x 0.11d","brand":"Alexej P. Pynko","offers":[{"title":"Paperback","offer_id":48113930699007,"sku":"9798593038739","price":100.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_38a32839-4508-43a8-a19e-43afbb484efb.jpg?v=1769618044","url":"https:\/\/www.whiterainbookhouse.com\/products\/axiomatization-of-finitely-valued-logics-alexej-p-pynko-9798593038739","provider":"WR Book House","version":"1.0","type":"link"}