Areas of Specialization
Relevance Logic |
Proof Theory |
Areas of Interest
Relevance Logic |
Paraconsistent Logic |
Nonclassical Logic, Misc |
Proof Theory |
Formal Semantics |