35th International Symposium on Multiple-Valued Logic (ISMVL'05) Normal Forms for the One-Variable Fragment of H?jek's Basic Logic University of Calgary, Canada May 19-May 21 ISBN: 0-7695-2336-6
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.32
The variety of BL-algebras constitutes the algebraic semantic counterpart of H?jek's Basic Logic BL, that is, the infinite-valued logic of all continuous t-norms and their residua. Montagna gives a concrete representation of the free BL-algebra BL₁ over one generator as an algebra of piecewise linear functions. In this paper we extend Mundici's approach to normal forms for the one-variable fragment of Lukasiewicz logic to the analogous fragment of BL, giving an algorithm to express any BL-formula with one variable as a conjunction of Schauder hats.
Citation:
Stefano Aguzzoli, Brunella Gerla, "Normal Forms for the One-Variable Fragment of H?jek's Basic Logic," ismvl, pp.284-289, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb