The following pages link to Peter Schroeder-Heister (Q383069):
Displaying 45 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)
- Frege's permutation argument revisited (Q813414) (← links)
- The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle (Q1056741) (← links)
- A model-theoretic reconstruction of Frege's permutation argument (Q1101098) (← links)
- Ekman's paradox (Q1676357) (← links)
- Definitional reflection and basic logic (Q1942043) (← 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)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Obituary: Kosta Došen (1954--2017) (Q2631641) (← links)
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics (Q2631650) (← links)
- (Q2939750) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- (Q3027002) (← links)
- (Q3119360) (← links)
- Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen (Q3149962) (← 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)
- (Q3661478) (← links)
- Popper's theory of deductive inference and the concept of a logical constant (Q3684103) (← links)
- A natural extension of natural deduction (Q3691668) (← links)
- (Q3751562) (← links)
- Uniqueness, definability and interpolation (Q3795662) (← links)
- A Proof-Theoretic Approach to Logic Programming (Q3983937) (← links)
- (Q4012888) (← links)
- Frege and the resolution calculus (Q4373015) (← links)
- (Q4619902) (← links)
- (Q4903811) (← links)
- (Q4919778) (← links)
- Hypothetical reasoning and definitional reflection in logic programming (Q5053014) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- Constructive semantics, admissibility of rules and the validity of Peirce's law (Q5176674) (← links)
- (Q5187256) (← links)
- (Q5187275) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- (Q5224891) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- Advances in Proof-Theoretic Semantics: Introduction (Q5864194) (← links)
- Open Problems in Proof-Theoretic Semantics (Q5864209) (← links)
- Intensional proof-theoretic semantics and the rule of contraction (Q6599515) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Comments on the contributions (Q6612881) (← links)
