Pages that link to "Item:Q928660"

The following pages link to A logical characterization of forward and backward chaining in the inverse method (Q928660):

Displaying 19 items.

• A framework for proof systems (Q707742) (← links)
• Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
• A semantic framework for proof evidence (Q1701039) (← links)
• Multi-focused proofs with different polarity assignments (Q1744415) (← links)
• The polarized \(\lambda\)-calculus (Q1744450) (← links)
• Subformula linking for intuitionistic logic with application to type theory (Q2055855) (← links)
• From axioms to synthetic inference rules via focusing (Q2120974) (← links)
• Proof checking and logic programming (Q2628296) (← links)
• Focused and Synthetic Nested Sequents (Q2811354) (← links)
• Structural Focalization (Q2946730) (← links)
• Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations (Q3455767) (← links)
• Multi-focused cut elimination (Q4637625) (← links)
• Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
• (Q5005105) (← links)
• (Q5015208) (← links)
• Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
• Proof Checking and Logic Programming (Q5743582) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
• Focusing Gentzen's LK proof system (Q6612872) (← links)