Download Now

Algebra of Proofs (Studies in Logic and the Foundations of Mathematics Volume 88)
M. E. Szabo,
English | 1978 | ISBN: 0720422868 | 310 pages | PDF | 8,9 MB

The author studies the algebraic properties of the proof theory of intuitionistic first-order logic in a categorical setting. The conceptual basis of the book is the realization that the Lindenbaum-Tarski algebras of formulas may be viewed as categories and that the formal proofs of the associated deductive systems determine structured categories as their canonical algebras which are of the same type as the Lindenbaum-Tarski algebras of formulas of the underlying languages.

Premium recommended for maximum speed and resumability



Interchangeable links - Password free
Direct Download

Tags: Foundations, Mathematics, Proofs

Add Comments:
Enter Code: *