Pages that link to "Item:Q5406130"
From MaRDI portal
The following pages link to A proof-theoretic analysis of the classical propositional matrix method (Q5406130):
Displaying 4 items.
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999) (Q2726302) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479268) (← links)