Logic made up of propositions, Predicates, Logical Connectives and Rules of Inference. Non-classical Logic modifications to these logical connectives and rules of inference to allow for different truth values to be computed.
Logic made up of propositions, Predicates, Logical Connectives and Rules of Inference. Non-classical Logic modifications to these logical connectives and rules of inference to allow for different truth values to be computed.