Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03654577n
Noun Concept
Categories: Model theory, Mathematical logic, Universal algebra
EN
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
IS A
symbolic logic
technical term
FACET OF
logic
STUDIED BY
logic
category theory
Wikipedia
EN
signature (logic)
Wikidata
EN
Signature
Wikipedia Redirections
EN
algebraic signature, relation symbols, relational signature, Signature (mathematical logic)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License