You need protocols... 

 

Traverso, Conti 

     

              "Algebraic and semialgebraic proofs: methods and paradoxes"  

   

                              ADG 2000. LNAI 2061. 2001. 

 

 


 

Fuzzy statememts 

 

Protocols