The following pages link to Logic Beyond Formulas (Q5145617):
Displaying 10 items.
- (Q3373734) (← links)
- On the Expressive Power of Graph Logic (Q3613359) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- (Q4440824) (← links)
- (Q4553286) (← links)
- (Q5039095) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)