bn:03654577n
Noun Concept
Categories: Universal algebra, Mathematical logic, Model theory
EN
signature  algebraic signature  relation symbols  relational signature
EN
In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. Wikipedia
English:
mathematical logic
logic
model theory
universal algebra
Definitions
Relations
Sources
EN
In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. Wikipedia
Description of a set of function and relation symbols in mathematical logic Wikipedia Disambiguation