You need protocols...
Traverso, Conti
"Algebraic and semialgebraic proofs: methods and paradoxes"
ADG 2000. LNAI 2061. 2001.
Fuzzy statememts
Protocols