1. Agustii, J., et al. (1992) Structured local fuzzy logics in MILORD“, In: Zadeh, L., Kacrpzyk, J., eds.: Fuzzy Logic for the Management of Uncertainty, Wiley, N.Y., 523–551.
2. Bandler, W., Kohout, L. J. (1984) Unified theory of multi-valued logical operations in the light of the checklist paradigm, Proc. of IEEE Conference on Systems, Man, and Cybernetics, Halifax, Nova Scotia, Oct. 1984, 356–364.
3. Barwise, J., ed. (1977) Handbook of Mathematical Logic, North-Holland, Amsterdam.
4. Beeson, M. J. (1985) Foundations of computable mathematics, Springer-Verlag, N.Y.
5. Ben-Or, N., Kozen, D., and Reif, J. (1986) The complexity of elementary algebra and geometry, Journal of Computer and System Sciences 32, 251–264.