|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2009 39th International Symposium on Multiple-Valued Logic
Paradigms for Non-classical Substitutions
Naha, Okinawaw, Japan
May 21-May 23
ISBN: 978-0-7695-3607-1
| ASCII Text | x | ||
| P. Eklund, M.A. Galán, J. Kortelainen, L.N. Stout, "Paradigms for Non-classical Substitutions," Multiple-Valued Logic, IEEE International Symposium on, pp. 77-79, 2009 39th International Symposium on Multiple-Valued Logic, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/ISMVL.2009.60, author = {P. Eklund and M.A. Galán and J. Kortelainen and L.N. Stout}, title = {Paradigms for Non-classical Substitutions}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2009}, issn = {0195-623X}, pages = {77-79}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.60}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Paradigms for Non-classical Substitutions SN - 0195-623X SP77 EP79 A1 - P. Eklund, A1 - M.A. Galán, A1 - J. Kortelainen, A1 - L.N. Stout, PY - 2009 VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2009.60
We will present three paradigms for non-classical substitution. Firstly, we have the classical substitution of variables with terms. This is written in a strict categorical form supporting presentation of the other two paradigms. The second paradigm is substitutions of variables with many-valued sets of terms. These two paradigms are based on functors and monads over the category of sets. The third paradigm is the substitution of many-valued sets of variables with terms over many-valued sets of variables. The latter is based on functors and monads over the category of many-valued sets. This provides a 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.
Citation:
P. Eklund, M.A. Galán, J. Kortelainen, L.N. Stout, "Paradigms for Non-classical Substitutions," ismvl, pp.77-79, 2009 39th International Symposium on Multiple-Valued Logic, 2009
Usage of this product signifies your acceptance of the Terms of Use.