Pages that link to "Item:Q495649"
From MaRDI portal
The following pages link to Advances in proof-theoretic semantics (Q495649):
Displaying 18 items.
- Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013 (Q261483) (← links)
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- Subatomic negation (Q2035849) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- General proof theory: introduction (Q2631640) (← links)
- Gödel on deduction (Q2631643) (← links)
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics (Q2631650) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- (Q5149159) (← links)
- (Q5197384) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- A novel approach to equality (Q6142508) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)