[isabelle] How to create a new algebra based on 3 valued logic



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 		 	   		  


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.