(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

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

plural of logical mechanical element

Synonym of logical quotation

present participle of logicise

Alternative form of logicize

simple past tense and past participle of logicise