Pages that link to "Item:Q4644597"
From MaRDI portal
The following pages link to Base-extension semantics for intuitionistic sentential logic (Q4644597):
Displaying 6 items.
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Describing a basis in semireduced form for inference rules of intuitionistic logic (Q2746913) (← links)
- (Q6159928) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)