Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Signature_(logic)> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Signature_(logic) abstract "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.Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic.".
- Signature_(logic) wikiPageExternalLink pr.html.
- Signature_(logic) wikiPageExternalLink planetmath.org.
- Signature_(logic) wikiPageExternalLink Signature.html.
- Signature_(logic) wikiPageExternalLink www.seop.leeds.ac.uk.
- Signature_(logic) wikiPageExternalLink model-theory.
- Signature_(logic) wikiPageExternalLink ualg.html.
- Signature_(logic) wikiPageID "7788156".
- Signature_(logic) wikiPageRevisionID "589107967".
- Signature_(logic) hasPhotoCollection Signature_(logic).
- Signature_(logic) subject Category:Model_theory.
- Signature_(logic) subject Category:Universal_algebra.
- Signature_(logic) comment "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.Signatures play the same role in mathematics as type signatures in computer programming. They are rarely made explicit in more philosophical treatments of logic.".
- Signature_(logic) label "Assinatura (lógica)".
- Signature_(logic) label "Signatur (Modelltheorie)".
- Signature_(logic) label "Signature (logic)".
- Signature_(logic) label "Signature (logique)".
- Signature_(logic) label "Сигнатура (математическая логика)".
- Signature_(logic) sameAs Signatur_(Modelltheorie).
- Signature_(logic) sameAs Signature_(logique).
- Signature_(logic) sameAs Assinatura_(lógica).
- Signature_(logic) sameAs m.026d0pn.
- Signature_(logic) sameAs Q741810.
- Signature_(logic) sameAs Q741810.
- Signature_(logic) wasDerivedFrom Signature_(logic)?oldid=589107967.
- Signature_(logic) isPrimaryTopicOf Signature_(logic).