First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics...

In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic...

In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers...

branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals...

self-reference", as in first-order logic and other logic uses, where it is contrasted with "allowing some self-reference" (higher-order logic) In detail, it may...

and first-order logic. The sentences that are made true by a particular assignment are said to be satisfied by that assignment. In classical logic, no...

between "tautology" and "logically valid" in the context of first-order logic . Propositional logic begins with propositional variables, atomic units that...

Extensions of First Order Logic is a book on mathematical logic. It was written by María Manzano, and published in 1996 by the Cambridge University Press...

contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of logic symbols. In logic, a set...

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...