Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03654577n
Noun Concept
JA
シグネチャ  指標  算号系
EN
In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. Wikipedia
English:
logic
model theory
universal algebra
mathematical logic
Relations
Sources
IS A
数理論理学
術語
FACET OF
論理学
STUDIED BY
論理学
圏論
Wikidata
JA
シグネチャ (論理)
Wikidata Alias
JA
シグネチャ, 算号系, 指標 (論理学)

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