The following pages link to (Q5215789):
Displaying 5 items.
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem (Q1407600) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- (Q4733864) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)