Sorry, we do not have enough data to show an influence graph for this author.
"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)