"symbolic logic"@en-us . .