Pages that link to "Item:Q1210141"
From MaRDI portal
The following pages link to Linearizing intuitionistic implication (Q1210141):
Displaying 7 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- First-order linear logic without modalities is NEXPTIME-hard (Q1342252) (← links)
- Classical multiplicative linear logic \(\simeq\) intuitionistic MLL (Q2751819) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)