Abstract General Algebraic Logic: Applications to sequent calculi - Brossura

Pynko, Dr. Alexej Pavlovich

 
9781070255606: Abstract General Algebraic Logic: Applications to sequent calculi
Brossura
ISBN 10: 1070255602 ISBN 13: 9781070255606
Casa editrice: Independently published, 2019

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Independently published
Data di pubblicazione
2019
Lingua
Inglese
ISBN 10 
1070255602
ISBN 13 
9781070255606
Rilegatura
Copertina flessibile
Numero di pagine
78
Contatto del produttore
Manufactured by Amazon on behalf of the author
https://www.amazon.it/hz/contact-us

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