Algebra of Proofs - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780720422863

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter 1 Introduction

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70617-7 ◽

1978 ◽

pp. 1-20

Download Full-text

Chapter 3 Symmetric Monoidal Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70619-0 ◽

1978 ◽

pp. 31-39

Keyword(s):

Monoidal Categories ◽

Symmetric Monoidal Categories

Download Full-text

Appendix C The Cut Elimination Algorithm

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70632-3 ◽

1978 ◽

pp. 229-243

Keyword(s):

Cut Elimination ◽

Elimination Algorithm

Download Full-text

Copyright page

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70614-1 ◽

1978 ◽

pp. iv

Download Full-text

Chapter 5 Bicartesian Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70621-9 ◽

1978 ◽

pp. 54-69

Download Full-text

Chapter 7 Monoidal Closed Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70623-2 ◽

1978 ◽

pp. 92-106

Download Full-text

Chapter 4 Cartesian Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70620-7 ◽

1978 ◽

pp. 40-53

Download Full-text

Chapter 10 Bicartesian Closed Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70626-8 ◽

1978 ◽

pp. 145-162

Download Full-text

Chapter 6 Distributive Bicartesian Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70622-0 ◽

1978 ◽

pp. 70-91

Download Full-text

Chapter 13 Quantifier-Complete Categories

Algebra of Proofs - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70629-3 ◽

1978 ◽

pp. 189-218

Download Full-text