Math: Abbreviations

• AC

• CoC

• CIC

• CL

• LEM

• EFQ

• FOL

• GLB

• HOL

• LUB

• NBG

• LNC

• PER

• PRF

• Poset

• SOL

• STLC

• TM

AC

Axiom of Choice

CoC

The Calculus of Constructions

CIC

The Calculus of Inductive Constructions

CL

Combinational logic

LEM

The law of excluded middle. Tertium non datur.

EFQ

Ex falso quodlibet. Principle of explosion.

FOL

First-order Logic

GLB

Greatest lower bound (infimum)

HOL

Higher-order logic

LUB

Least upper bound (supremum)

NBG

Neumann-Bernays-Gödel set theory

LNC

The law of non-contradiction

PER

Partial Equivalence Relation

PRF

Primitive Recursive Function

Poset

Partially ordered set

SOL

Second-order logic

STLC

Simply-typed Lambda Calculus

TM

Turing machine