<div dir="ltr">Hi Developer,<div><br></div><div>my interest is to guess list operation and surface operation in many valued logic</div><div><br></div><div>however, there is no result when search artificial intelligence to guess list operation.</div><div><br></div><div>then i found that Isabelle can derive list operation with Lemma,</div><div><br></div><div>I have created 3 valued logic, however, i would like to guess surface operation</div><div>in 3 valued logic to further go to guess 4 valued logic.</div><div><br></div><div>is there proof assistant for 3 valued logic?</div><div><br></div><div>Regards,</div><div><br></div><div>Ho Yeung, Lee</div><div>Nickname: Martin</div></div>