{ "item_title" : "Abstract General Algebraic Logic", "item_author" : [" Alexej Pavlovich Pynko "], "item_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.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/1/07/025/560/1070255602_b.jpg", "price_data" : { "retail_price" : "200.00", "online_price" : "200.00", "our_price" : "200.00", "club_price" : "200.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details