Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] How to create a new algebra based on 3 valued...

Email Gateway (Aug 19 2022 at 15:53):

From: Lee Martin CCNP <tesleft@hotmail.com>
Hi ,
I guess a 3 valued logic table
http://www.mapleprimes.com/questions/202431-How-To-Construct-A-Table-For-Base-10
if succeed to create 3 operator table for base 10,
is it possible to develop a new algebra in Isabelle and proof it ?
Regards,
Martin

Last updated: Apr 23 2024 at 08:19 UTC