Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

APAL

2010

2010

The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07], [Mun94], [P95]. As a notably application of the theory, the elements of the free n-generated MV-algebra, that constitutes the algebraic semantics of the n-variate fragment of Lukasiewicz logic, are obtained as (t-conorm) monoidal combination of finitely many hats, which are in turn obtained through finitely many applications of an operation called starring, starting from a finite family of primitive hats. The aim of this paper is to extend this portion of the Schauder hats theory to the two-variable fragment of H

Added |
01 Feb 2011 |

Updated |
01 Feb 2011 |

Type |
Journal |

Year |
2010 |

Where |
APAL |

Authors |
Stefano Aguzzoli, Simone Bova |

Comments (0)