°Of a language or notation, such as that of formal propositional calculus: where the process of inference from premises to conclusion is explicitly laid out.
°Of a language or notation, such as that of formal propositional calculus: where the process of inference from premises to conclusion is explicitly laid out.