Pages that link to "Item:Q5898815"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898815):
Displaying 15 items.
- A focused approach to combining logics (Q639671) (← links)
- A framework for proof systems (Q707742) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- On the unity of duality (Q2482843) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Focalisation and Classical Realisability (Q3644763) (← links)
- Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
