Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra - Couverture souple

Pynko, Dr. Alexej P.

Couverture souple

ISBN 10 : 1792949618 ISBN 13 : 9781792949616

Editeur : Independently published, 2019

Synopsis

In this book we study the issues of Deduction Theorem and Peirce Law within the context of finitary universal Horn theories andequivalence between them. As basic general results, we first obtain a model-theoretic chracterization of sushtheories having Deduction Theorem with Peirce Law and then prove that equivalence between them preserves both Deduction Theorem and Peirce law. Next, we argue that our Deduction Theorem scema for enlargable multiple-conclusionsequent calculi with structural rules found earlier respects Peirce Law.As a consequence, we provide a natural and quite useful semanticsof such calculi. Finally, we explore the issues involved within the context of the Weak Contraposition extensions of so-called contraposable propositional calculi of the mentioned kind.After all, we successfully apply our generic elaborationto both certain sentential logics and varieties of algebras,providing constructive and quite transparent proofsof Deduction Theorem with Peirce Law for the formers as well asimplicativity (or, at least, restricted equational definabilityof principal congruences) for the latters.

Détails de l'édition

• Éditeur: Independently published
• Date d'édition: 2019
• Langue: anglais
• ISBN 10: 1792949618
• ISBN 13: 9781792949616
• Reliure: Broché
• Nombre de pages: 68
• 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