Abstract General Algebraic Logic: Applications to sequent calculi (Paperback) (ISBN-13: 9781070255606)

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.

Author: Alexej Pavlovich Pynko
ISBN-10: 1070255602
ISBN-13: 9781070255606
Publisher: Independently Published
Language: English
Published: 05/28/2019
Pages: 80
Format: Paperback
Weight: 0.26lbs
Size: 9.02h x 5.98w x 0.17d