Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic - Couverture souple

Pynko, Dr Alexej P.

Couverture souple

ISBN 10 : 1794595546 ISBN 13 : 9781794595545

Editeur : Independently published, 2019

Synopsis

Here, we introduce and study the concept of abstract sequent axiomatization of generalized logics based upon the concept of abstract derivation from absolutely free algebras to arbitrary ones. As a general result, we prove thatany logic having a deduction theorem has an equivalent abstract sequent axiomatization.Conversely, we prove that any algebraizable logic having an algebraizableabstract sequent axiomatization has a deduction theorem. As for sentential logics,we prove that any conjunctive self-extensional logic has an algebraizable abstract sequent axiomatization equivalent to the intrinsic variety of the logic.As a consequence, we prove that any algebraizable self-extensional conjunctivelogic has a deduction theorem. Finally, we explore several non-protoalgebraicsentential logics, each being proved to have an algebraizable abstract sequentaxiomatization equivalent to the intrinsic variety of the logic.

Détails de l'édition

• Éditeur: Independently published
• Date d'édition: 2019
• Langue: anglais
• ISBN 10: 1794595546
• ISBN 13: 9781794595545
• 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