Pages that link to "Item:Q4645241"

The following pages link to T-string unification: Unifying prefixes in non-classical proof methods (Q4645241):

Displayed 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)