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 7 items.
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Linear strategy for Boolean ring based theorem proving (Q1579733) (← links)
- Cirquent Calculus in a Nutshell (Q5059715) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)
- New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial (Q6159929) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)