Abstract General Algebraic Logic: Applications to sequent calculi - Couverture souple

Pynko, Dr. Alexej Pavlovich

 
9781070255606: Abstract General Algebraic Logic: Applications to sequent calculi
Couverture souple
ISBN 10 : 1070255602 ISBN 13 : 9781070255606
Editeur : 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Independently published
Date d'édition
2019
Langue
anglais
ISBN 10 
1070255602
ISBN 13 
9781070255606
Reliure
Broché
Nombre de pages
78
Coordonnées du fabricant
Manufactured by Amazon on behalf of the author
https://www.amazon.fr/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Luxembourg