Pages that link to "Item:Q3983937"
From MaRDI portal
The following pages link to A Proof-Theoretic Approach to Logic Programming (Q3983937):
Displaying 22 items.
- Proof and refutation in MALL as a game (Q636305) (← links)
- Partial inductive definitions as type-systems for \(\lambda\)-terms (Q688729) (← links)
- Foundation of logic programming based on inductive definition (Q1075752) (← links)
- Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings (Q1188837) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- On the role of names in reasoning about \(\lambda\)-tree syntax specifications (Q2804945) (← links)
- Encoding generic judgments: preliminary results (Q2841234) (← links)
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules (Q3210889) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Disjoint Logics (Q5013619) (← links)
- Extensions to logic programming motivated by the construction of a generic theorem prover (Q5053009) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- A family of metainferential logics (Q5742701) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Comments on the contributions (Q6612881) (← links)
