many-sorted logic
imperative
key
aspect-oriented
t-norm fuzzy logic
type
exception
pigeonholing
relevance logic
consistency
hom-set
sequent calculus
sublogic
subobject classifier
non-classical logic
attribute
Boolean
predicate calculus
functional calculus
axiom system
deployment
family
cardinality
negation
XOR
concept
morphotype
domain of discourse
mereological
typeful
glossary
typeable
multitype
doxastic logic
semblative
conjectural
name-based type system
type hinting
typecast
typologize
symbolic logic
monadic second-order logic
theory
decipherable
nominal type system
valenced
variosity
prototypal
block design
prototypic
generalized element
archetypical
archetypal
prototypical
strongly-typed
typing
semon
identity functor
instantiation
eclectic
combinatorics
binary
quintessence
bicategory
recursion theory
axiomatic system
black-and-white
connote
coterminal
classification scheme
functor
algebraic language
phantom type
informal logic
abstract term
canonical
anamorphism
logical quantifier
categorizable
quantifier
predicate logic
sequenceability
or
dimension
literate programming
process of elimination
formula
type collection
axiom of regularity
Gowers norm
property
proof system
deconflict
axiom of countable choice