"formal logic"@en-us . .