The following pages link to Classical logic without bivalence (Q4648470):
Displaying 8 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- (Q3987175) (← links)
- Hypothesis-Discharging Rules in Atomic Bases (Q5213617) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)
