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
Verlag: Independently published, 2019

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Independently published
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
1070255602
ISBN 13 
9781070255606
Einband
Taschenbuch
Anzahl der Seiten
78
Kontakt zum Hersteller
Manufactured by Amazon on behalf of the author
https://www.amazon.de/hz/contact-us

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