Pages that link to "Item:Q5060181"
From MaRDI portal
The following pages link to An Analytic Propositional Proof System on Graphs (Q5060181):
Displaying 6 items.
- Proof analysis of Peirce's alpha system of graphs (Q2363507) (← links)
- (Q3373734) (← links)
- (Q4213797) (← 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)