(logic) A type of modal logic which deals with statements involving beliefs.

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.

plural of propositional logic

(programming) Programming with a paradigm that bases on formal logic

A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.

plural of paraconsistent logic

(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

The quasi-logical system that underpins mythology, involving oppositions, metaphors, etc.

plural of fuzzy logic