The following pages link to (Q5224891):
Displaying 7 items.
- A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692) (← links)
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics (Q2631650) (← links)
- (Q4018071) (← links)
- (Q5149159) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)