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 5 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)
- Hypothesis-Discharging Rules in Atomic Bases (Q5213617) (← links)
- Negative predication and distinctness (Q6043099) (← links)
