WordNet: formal

Sanatista
logically deductive; "formal proof"



formal