(mathematics, logic, computing) A system of symbolic logic that is the basis of Boolean algebra

A fallacy; a clearly defined error in reasoning used to support or refute an argument, excluding simple unintended mistakes. / A formal fallacy.

That branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation in everyday discourse.

(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.

(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.

Synonym of logical quotation

plural of quantum logic

plural of linear logic

(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.