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

English words for 'A logic that directly supports classification of entities into disjunct sorts.'

As you may have noticed, above you will find words for "A logic that directly supports classification of entities into disjunct sorts.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries