Signature (logic)
id:
signature-logic-296-558212
title:
Signature (logic)
text:
In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. They are rarely made explicit in more philosophical treatments of logic.
brand slug:
wiki
category slug:
encyclopedia
description:
Description of non-logical symbols
original url:
https://en.wikipedia.org/wiki/Signature_(logic)
date created:
date modified:
2023-08-30T20:32:24Z
main entity:
{"identifier":"Q741810","url":"https://www.wikidata.org/entity/Q741810"}
image:
fields total:
13
integrity:
14