Pages that link to "Item:Q4645241"
From MaRDI portal
The following pages link to T-string unification: Unifying prefixes in non-classical proof methods (Q4645241):
Displaying 10 items.
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)
- A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas (Q2841241) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)
- Converting non-classical matrix proofs into sequent-style systems (Q4647538) (← links)
- A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540) (← links)
- Intuitionistic Letcc via Labelled Deduction (Q4982116) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
