The following pages link to Locality for classical logic (Q2372689):
Displaying 7 items.
- Classical proof forestry (Q636369) (← links)
- On the length of medial-switch-mix derivations (Q1685911) (← links)
- Locative ontology. I, II, III (Q2725727) (← links)
- A Local System for Classical Logic (Q2996175) (← links)
- (Q3481833) (← links)
- Notions of locality and their logical characterizations over finite models (Q4948541) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)