umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Paradigms for many-sorted non-classical substitutions
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2011 (English)In: 2011 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), IEEE Computer Society, 2011, 318-321 p.Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
IEEE Computer Society, 2011. 318-321 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:umu:diva-52248DOI: 10.1109/ISMVL.2011.10ISBN: 978-1-4577-0112-2 (print)ISBN: 978-0-7695-4405-2 (print)OAI: oai:DiVA.org:umu-52248DiVA: diva2:501611
Conference
41st IEEE International Symposium on Multiple-Valued Logic (ISMVL), 23-25 May 2011, Tuusula, Finland
Available from: 2012-02-14 Created: 2012-02-14 Last updated: 2012-04-04Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eklund, PatrikHelgesson, Robert
By organisation
Department of Computing Science
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 54 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf