The following pages link to (Q4903811):
Displaying 14 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Game of grounds (Q2080589) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
- (Q4428311) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction (Q5213631) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Comments on the contributions (Q6612881) (← links)