plural of first-order logic

plural of many-sorted logic

plural of monadic predicate logic

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

(computer hardware) the section of a CPU that performs calculations and logical operations

plural of monadic second-order logic

(fuzzy logic) Any kind of fuzzy logic whose semantics valuates conjunctions by means of t-norms.

plural of erasable programmable logic device

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

(semiconductors) An integrated circuit that is composed of an array of programmable logic devices that do not come pre-connected; the connections are programmed electrically by the user.