Hi Developer, my interest is to guess list operation and surface operation in many valued logic
however, there is no result when search artificial intelligence to guess list operation. then i found that Isabelle can derive list operation with Lemma, I have created 3 valued logic, however, i would like to guess surface operation in 3 valued logic to further go to guess 4 valued logic. is there proof assistant for 3 valued logic? Regards, Ho Yeung, Lee Nickname: Martin
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev