Pages that link to "Item:Q530853"
From MaRDI portal
The following pages link to Yet another bijection between sequent calculus and natural deduction (Q530853):
Displaying 4 items.
- A negationless interpretation of intuitionistic theories. I (Q1577359) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
