- We will send in 10–14 business days.
/images/books/5441431/9781070255606.jpg)
- Author: Alexej Pavlovich Pynko
- Publisher: INDEPENDENTLY PUBLISHED
- ISBN-10: 1070255602
- ISBN-13: 9781070255606
- Format: 15.2 x 22.9 x 0.4 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 17d.18:29:19
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Alexej Pavlovich Pynko
- Publisher: INDEPENDENTLY PUBLISHED
- ISBN-10: 1070255602
- ISBN-13: 9781070255606
- Format: 15.2 x 22.9 x 0.4 cm, softcover
- Language: English English
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.
Reviews