Pages that link to "Item:Q4647538"
From MaRDI portal
The following pages link to Converting non-classical matrix proofs into sequent-style systems (Q4647538):
Displaying 8 items.
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- 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)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- A proof-theoretic analysis of the classical propositional matrix method (Q5406130) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479268) (← links)