Pages that link to "Item:Q3983937"
From MaRDI portal
The following pages link to A Proof-Theoretic Approach to Logic Programming (Q3983937):
Displayed 7 items.
- Proof and refutation in MALL as a game (Q636305) (← links)
- Partial inductive definitions as type-systems for \(\lambda\)-terms (Q688729) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)