The following pages link to CALCULUSES AND FORMAL SYSTEMS (Q3268309):
Displaying 6 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)
