Davis, California, United States of America
Areas of Specialization
| Relevance Logic |
| Proof Theory |
Areas of Interest
| Relevance Logic |
| Paraconsistent Logic |
| Nonclassical Logic, Misc |
| Proof Theory |
| Formal Semantics |