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

By Dr. Alexej P. Pynko

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1792949618
• ISBN13: 9781792949616
• Release Date: January 2019
• Publisher: Independently Published
• Length: 70 Pages
• Weight: 0.23 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"