Pages that link to "Item:Q3149962"

The following pages link to Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen (Q3149962):

Displaying 14 items.

• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
• From axiomatic logic to natural deduction (Q2259010) (← links)
• A survey of nonstandard sequent calculi (Q2259014) (← links)
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic (Q2422314) (← links)
• The original sin of proof-theoretic semantics (Q2690170) (← links)
• Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
• First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
• The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic (Q5251188) (← links)
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
• Existential Graphs as a Basis for Structural Reasoning (Q5878886) (← links)
• The nature of entailment: an informational approach (Q6088597) (← links)
• Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem (Q6612865) (← links)