The following pages link to Storrs McCall (Q233688):
Displayed 38 items.
- Aristotle's modal syllogisms (Q775347) (← links)
- The strong future tense (Q1844213) (← links)
- Contrariety (Q2532383) (← links)
- Every functionally complete m-valued logic has a Post-complete axiomatization (Q2536518) (← links)
- A simple decision procedure for one-variable implication/negation formulae in intuitionist logic (Q2626199) (← links)
- An insoluble problem (Q2926411) (← links)
- The supervenience of truth: freewill and omniscience (Q2926412) (← links)
- (Q2926449) (← links)
- (Q2926450) (← links)
- (Q2926451) (← links)
- (Q2926452) (← links)
- (Q2926453) (← links)
- (Q2926454) (← links)
- (Q2926455) (← links)
- (Q2926456) (← links)
- (Q2926457) (← links)
- (Q2926458) (← links)
- (Q2926459) (← links)
- (Q2926460) (← links)
- (Q2926461) (← links)
- (Q2926462) (← links)
- (Q2926463) (← links)
- (Q2926464) (← links)
- (Q2926465) (← links)
- (Q2926466) (← links)
- (Q2926467) (← links)
- (Q2926468) (← links)
- (Q2926469) (← links)
- 3D/4D equivalence, the twins paradox and absolute time (Q4439307) (← links)
- Connexive Gentzen (Q4644500) (← links)
- Counterfactuals Based on Real Possible Worlds (Q5275650) (← links)
- (Q5495323) (← links)
- Pure three-valued Łukasiewiczian implication (Q5534914) (← links)
- Connexive implication (Q5545509) (← links)
- (Q5559223) (← links)
- Connexive class logic (Q5561925) (← links)
- (Q5601462) (← links)
- Axiomatic quantum theory (Q5957422) (← links)