Pages that link to "Item:Q2974793"
From MaRDI portal
The following pages link to On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793):
Displaying 5 items.
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Cirquent Calculus in a Nutshell (Q5059715) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)
