Abstract
A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
Similar content being viewed by others
References
Alsina, C., Trillas, E., Valverde L.: On some logical connectives for fuzzy set theory. J. Math. Anal. Appl.93, 15–26 (1983)
Balbes, R., Dwinger, P.: Distributive lattices. Missouri: Univ. Missouri Press 1974
Birkhoff, G.: Lattice theory, vol. 25. New York: 1948, Amer. Math. Soc. Colloquium Publ.
Bouchon, B.: Fuzzy inferences and conditional possibility distributions Fuzzy Sets Syst.23, 33–41 (1978)
Fuchs, L.: Partially ordered algebraical systems. New York: Pergamon Press 1963
Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anz. Akad. Wissensch. Wien, Math.-naturwissensch. Klasse69, 65–66 (1932). Erg. math. Kolloqu.4, 40 (1933)
Gottwald, S.: Mehrwertige Logik. Berlin: Akademie-Verlag 1988
Grätzer, G.: Universal Algebra. Berlin Heidelberg New York: Springer 1979
Gurevich, Y., Kokorin, A.I.: Universal equivalence of ordered Abelian groups (in Russian). Algebra i Logika2.1, 37–39 (1963)
Hájek, P.: Fuzzy logic and arithmetical hierarchy. Fuzzy Sets Syst.73, 359–363 (1995)
Hájek, P.: Fuzzy logic and arithmetical hierarchy, vol. II. Submitted
Hájek, P., Havránek, T., Jiroušek, R.: Uncertain information processing in expert systems. CRC Press 1992
Hájek, P., Valdés, J.J.: Algebraic foundations of uncertainty processing in rule-based expert systems I. Comp. Artif. Intell.9, 325–334 (1990)
Höhle, U.: Commutative residuated monoids. In: Höhle, U., Klement, P., (eds) Non-classical logics and their applications to fuzzy subsets (A handbook of the mathematical foundations of the fuzzy set theory). Dordrecht. Kluwer 1995
Ling, C.H.: Representation of associative functions Publ. Math. Debrecen12, 182–212 (1965)
Łukasiewicz, J.: Selected works. Amsterdam: North-Holland 1970
Novák, V.: On the syntactico-semantical completeness of first-order fuzzy logic I, II Kybernetika26, 47–26, 134–152 (1990)
Paris, J.B.: The uncertain reasoner's companion — a mathematical perspective. Cambridge: Cambridge University Press 1994
Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundl. Math.25, 45–52, 119–134, 447–464 (1979)
Rose, A., Rosser, J.B.: Fragments of many-valued statement calculi. Trans. A.M.S.87, 1–53 (1958)
Scarpelini, B.: Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von łukasiewicz. J. Symb. Log.27, 159–170 (1962)
Schweizer, B., Sklar, A.: Associative functions and abstract semi-groups. Publ. Math. Debrecen10, 69–81 (1963)
Schweizer, B., Sklar, A.: Probabilistic metric spaces. Amsterdam: North Holland 1983
Takeuti, G., Titani S.: Fuzzy Logic and fuzzy set theory. Anal. Math. Logic32, 1–32 (1992)
Zadeh, L.: Fuzzy logic. IEEE Comput.1, 83 (1988)
Author information
Authors and Affiliations
Additional information
This article was processed by the author using the LATEX style filepljorlm from Springer-Verlag.