structure
Sign in to saveAlso known as finitary structure
set together with an interpretation of a given first-order language
Connections
signature
Entity
semantic theory of truth
Entity
mathematical logic
Entity
first-order logic
Entity
Springer Science+Business Media
Entity
formal system
Entity
class
Entity
Zermelo–Fraenkel set theory
Entity
recursive set
Entity
logical constant
Entity
semantics of logic
Entity
join and meet
Entity
ground expression
Entity
diagram
Entity
New York City
City
logic
Entity
algebra
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
natural number
Entity