The following pages link to Equality in linear logic (Q2735816):
Displaying 8 items.
- Equivalence of syllogisms (Q558433) (← links)
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- Quantized linear logic, involutive quantales and strong negation (Q1770594) (← links)
- Monadic classes of quantum B-algebras (Q2156961) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- Computer Aided Verification (Q5716573) (← links)
- Modules in the category of sheaves over quantales (Q5935987) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)