umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Paradigms for many-sorted non-classical substitutions
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2011 (Engelska)Ingår i: 2011 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), IEEE Computer Society, 2011, s. 318-321Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We present three paradigms for non-classical substitution in a many-sorted context. Such an exposition has previously been demonstrated in the unsorted case but its extension is far from trivial. The first paradigm, classical many-sorted substitution taking variables to terms, is traditionally presented in a rather informal and "verbal" manner but we find that a strict categorical formulation is necessary to pave the way for non-classical extensions. The second paradigm provides substitution of variables for many-valued sets of terms and relies heavily on functors and monads over the category of indexed sets. Finally, in the third paradigm, we establish full non-classical substitution of many-valued sets of variables by many-valued sets of terms. The third paradigm has the category of many-valued indexed sets as its underlying category. These paradigms ensures transparency of the underlying categories and also makes a clear distinction between set-theoretic operation in the meta language and operations on sets and many-valued sets as found within respective underlying categories.

Ort, förlag, år, upplaga, sidor
IEEE Computer Society, 2011. s. 318-321
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:umu:diva-52248DOI: 10.1109/ISMVL.2011.10ISBN: 978-1-4577-0112-2 (tryckt)ISBN: 978-0-7695-4405-2 (tryckt)OAI: oai:DiVA.org:umu-52248DiVA, id: diva2:501611
Konferens
41st IEEE International Symposium on Multiple-Valued Logic (ISMVL), 23-25 May 2011, Tuusula, Finland
Tillgänglig från: 2012-02-14 Skapad: 2012-02-14 Senast uppdaterad: 2018-06-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Eklund, PatrikHelgesson, Robert

Sök vidare i DiVA

Av författaren/redaktören
Eklund, PatrikHelgesson, Robert
Av organisationen
Institutionen för datavetenskap
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 144 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf