Expert in: Intuitionist logic
My recent work addresses the probabilistic interpretations of logic where validity is defined in terms of probability, in particular the interpretation of intuitionistic logic with strong negation where the probability of the conditional is the conditional probability. Also in intuitionistic logic, I am working on developing a mixed direct method (Quine substitution and normal forms) to test intuitionist validity in propositional calculus. I am also developing a similar method for intuitionistic logic with strong negation. I have also worked recently on Lesniewski's ontology and its relations with set theory.