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 |