Abstract
Monoidal logic is the a common framework for intuitionistic logic, Lukasiewicz logic and to a ceratin extent for Girard’s commutative logic. Soundness and completeness of the corresponding predicate calculi are verified.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L.P. Belluce. Semi-simple and complete MV-algebras, Algebra Universalis 29 (1992), 1–9.
G. Birkhoff. Lattice Theory, Amer. Math. Soc. Colloquium Publications, third edition (Amer. Math. Soc, RI, 1973).
C.C. Chang. Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.
J.C. Fodor. Contrapositive symmetry of fuzzy implications, Technical Report 1993/1, Eőtvős Lorand University, Budapest 1993.
O. Frink. New algebras of logic, Amer. Math. Monthly 45 (1938), 210–219
J.Y. Girard. Linear logic, Theor. Comp. Sci. 50 (1987), 1–102.
R. Goldblatt. Topoi: The Categorial Analysis of Logic (North-Holland, Amsterdam 1979).
S. Gottwald. Mehrwertige Logik (Akademie-Verlag, Berlin 1989).
L.S. Hay. Axiomatization of infinite-valued predicate calculus, Journal of Symbolic Logic 28 (1963), 77–86.
U. Hőhle. Commutative, residuated l-monoids in “Non-Classical Logics and Their Applications to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory” (Eds. U. Höhle and E.P. Klement) (Kluwer 1995).
P.T. Johnstone. Stone Spaces (Cambridge University Press, Cambridge 1982).
H. Rasiowa and R. Sirkoski. A proof of the completeness theorem of Godei, Fundamenta Math. 37 (1950), 193–200.
K.I. Rosenthal. Quantales and Their Applications, Pitman Research Notes in mathematics 234 (Longman, Burnt Mill, Harlow 1990).
B. Schweizer and A. Sklar. Probabilistic Metric Spaces (North-Holland, Amsterdam 1983).
B. Scarpellini. Die Nichtaxiomatisierbarkeit des unendlichen Prädikatenkalkűls von Lukasiewicz, Journal of Symolic Logic 27 (1962), 159–170.
R. Sikorski. Boolean algebras (Springer-Verlag, Berlin 1964).
L.A. Zadeh. Fuzzy sets, Information and Control 8 (1965), 338–353.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Höhle, U. (1994). Monoidal Logic. In: Kruse, R., Gebhardt, J., Palm, R. (eds) Fuzzy-Systems in Computer Science. Artificial Intelligence / Künstliche Intelligenz. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-86825-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-322-86825-1_18
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-322-86826-8
Online ISBN: 978-3-322-86825-1
eBook Packages: Springer Book Archive