Pages that link to "Item:Q5387896"
From MaRDI portal
The following pages link to A Local System for Intuitionistic Logic (Q5387896):
Displayed 9 items.
- Subformula linking for intuitionistic logic with application to type theory (Q2055855) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- System BV is NP-complete (Q2478549) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- Deep Inference in Bi-intuitionistic Logic (Q3638293) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)