umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: 2011 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), IEEE Computer Society, 2011, s. 318-321Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE Computer Society, 2011. s. 318-321
HSV kategori
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
Konferanse
41st IEEE International Symposium on Multiple-Valued Logic (ISMVL), 23-25 May 2011, Tuusula, Finland
Tilgjengelig fra: 2012-02-14 Laget: 2012-02-14 Sist oppdatert: 2018-06-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Eklund, PatrikHelgesson, Robert

Søk i DiVA

Av forfatter/redaktør
Eklund, PatrikHelgesson, Robert
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 118 treff
RefereraExporteraLink to record
Permanent link

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