I just use constructive proofs, which creates or gives a method of creating an object. I use intuitionistic logic by not using the law of the excluded middle where either the proposition of its negation is true. I use the law of non-contradition and law of identity. Or, maybe I just use a lot of fuzzy logic, which utilizes data that is vague or imprecise.