Pages that link to "Item:Q1035706"
From MaRDI portal
The following pages link to Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706):
Displaying 7 items.
- Proof Checking and Logic Programming (Q5743582) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Logical Approaches to Computational Barriers (Q5898815) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Towards substructural property-based testing (Q6102253) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
- Partial proof terms in the study of idealized proof search (Q6648177) (← links)