Pages that link to "Item:Q5176674"
From MaRDI portal
The following pages link to Constructive semantics, admissibility of rules and the validity of Peirce's law (Q5176674):
Displaying 8 items.
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Popper's Notion of Duality and His Theory of Negations (Q4608217) (← links)
- On an inferential semantics for classical logic (Q5172129) (← links)
- Hypothesis-Discharging Rules in Atomic Bases (Q5213617) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)