Abstract General Algebraic Logic: Applications to sequent calculi - Softcover

Pynko, Dr. Alexej Pavlovich

 
9781070255606: Abstract General Algebraic Logic: Applications to sequent calculi
Softcover
ISBN 10: 1070255602 ISBN 13: 9781070255606
Publisher: Independently published, 2019

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Independently published
Publication date
2019
Language
English
ISBN 10 
1070255602
ISBN 13 
9781070255606
Binding
Paperback
Number of pages
78