Pages that link to "Item:Q928660"
From MaRDI portal
The following pages link to A logical characterization of forward and backward chaining in the inverse method (Q928660):
Displaying 12 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)
- (Q5005105) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
