Abstract
We develop alternative semantics for Łukasiewicz logic and for cancellative hoop logic according to the following idea. We formalize statements reflecting an inexact knowledge of certain (sharp) properties; we assume that all what can be known about a property is its expressive strength. To this end, we consider a Boolean algebra endowed with an automorphism group or, alternatively, with a measure. The Boolean algebra is meant to model a collection of properties; and the additional structure is used to identify pairs of properties which, although possibly distinct, are equally strong. Propositions are defined as subsets of the algebra containing with any element also those identified with it in this way. We show that then, the set of all propositions carries the structure of an MV-algebra or of a cancellative hoop.
Similar content being viewed by others
References
Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht
Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13:531–555
Fermüller CG (2004) Revisiting Giles’s game – Reconciling fuzzy logic and supervaluation. In: Rahman S, Symons J (eds) Selected papers from the Prague Colloquium on logic, games, and philosophy: foundational perspectives (Prague 2004), series of logic, epistemology and the unity of sciences, Springer-Verlag, Berlin
Fremlin DH (2003) Measure theory, vol 3. Torres Fremlin, Colchester
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
Kawada Y (1944) Über die Existenz der invarianten Integrale. Jap J Math 19:81–95
Monk JD (ed) (1989) Handbook of Boolean algebras, vol 1 and 2. North-Holland, Amsterdam
Paris JB (2000) Semantics for fuzzy logic supporting truth functionality. In: Novák V et al (eds) Discovering the world with fuzzy logic. Physica-Verlag, Heidelberg, pp 82–104
Sikorski R (1964) Boolean algebras. Springer, Berlin
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Vetterlein, T. Fuzzy logic as a logic of the expressive strength of information. Soft Comput 12, 479–485 (2008). https://doi.org/10.1007/s00500-007-0208-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-007-0208-5