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

Pynko, Dr Alexej P.

Brossura

ISBN 10: 1794595546 ISBN 13: 9781794595545

Casa editrice: Independently published, 2019

Riassunto

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.

Dettagli dell'edizione

• Editore: Independently published
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 1794595546
• ISBN 13: 9781794595545
• Rilegatura: Copertina flessibile
• Numero di pagine: 78
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile