Pages that link to "Item:Q3608430"
From MaRDI portal
The following pages link to Focusing and Polarization in Intuitionistic Logic (Q3608430):
Displaying 17 items.
- A focused approach to combining logics (Q639671) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Resolution is cut-free (Q972424) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- TCC, with History (Q5418978) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
