plural of second-order logic

plural of first-order logic

plural of monadic predicate logic

plural of many-sorted logic

(computing, Macintosh) A motherboard.

(computer science) Model of computation based on combinators.

A system of quotation in which terminal punctuation marks are enclosed within a quotation only if the sense of the punctuation is part of the original material being quoted.

(mathematics) A form of reasoning, derived from fuzzy set theory, whereby a truth value need not be exactly zero (false) or one (true), but rather can be zero, one, or any value in between.

(computing, mathematics) a formal theory of computability

A piece of code intentionally inserted into a software system that will set off a malicious function when specified conditions are met.