The following pages link to CALCULUSES AND FORMAL SYSTEMS (Q3268309):
Displayed 7 items.
- Absorption relation on regular sets (Q1147513) (← links)
- Deduction search in calculi of general type (Q1245945) (← links)
- Cut-type rules for calculi of general type (Q1256457) (← links)
- A hierarchy of Brouwer constructive functionals (Q1256468) (← links)
- (Q5552746) (← links)
- Logical string rewriting (Q5941560) (← links)
- Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)