- Full text PDF available (3)
- This year (0)
- Last five years (3)
"Bohr would always go in for this remark, 'You cannot really explain it in the framework of space and time.' By God, I was determined I was going to explain it in the framework of space and time."
Connexive logic differs from other alternatives to classical two-valued logic in containing theses such as ~(p→~p) and (p→q)→~(p→~q) which are two-valuedly false. In this paper a semantic tableau formulation of connexive logic is constructed, using classical tableau rules plus an additional rule enabling a contradiction to be derived from any tableau item… (More)