Pages that link to "Item:Q3210889"

The following pages link to A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules (Q3210889):

Displaying 33 items.

• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
• A geometric interpretation of LD-resolution (Q596040) (← links)
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
• Parsing as non-Horn deduction (Q688151) (← links)
• Partial inductive definitions as type-systems for \(\lambda\)-terms (Q688729) (← links)
• Associative substitutional semantics and quantified modal logic (Q965898) (← links)
• Relevant logic programming (Q1181715) (← links)
• Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings (Q1188837) (← links)
• Graph-based proof procedures for horn clauses (Q1188938) (← links)
• Horn programming with built-in predicates (Q1276515) (← links)
• On computability by logic programs (Q1924787) (← links)
• A full formalization of SLD-resolution in the calculus of inductive constructions (Q1961920) (← links)
• Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
• Validity concepts in proof-theoretic semantics (Q2500820) (← links)
• Encoding generic judgments: preliminary results (Q2841234) (← links)
• RULES FOR SUBATOMIC DERIVATION (Q3094185) (← links)
• Logics with definitional reflection rules (Q3133173) (← links)
• HARMONISING HARMONY (Q3195584) (← links)
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
• Clausal intuitionistic logic I. fixed-point semantics (Q3787973) (← links)
• A Proof-Theoretic Approach to Logic Programming (Q3983937) (← links)
• (Q4492860) (← links)
• (Q4531974) (← links)
• Proof-theoretic notions for software maintenance (Q4923374) (← links)
• Lorenzen and Constructive Mathematics (Q5024724) (← 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)
• 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)
• Focusing Gentzen's LK proof system (Q6612872) (← links)