1. P.B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Academic Press, 1986.
2. T. Arnould and A. Ralescu. From “and” to “or”. In B. Bouchon-Meunier, L. Valverde, and R.R. Yager, editors, IPMU’ 92-Advanced Methods in Artificial Intelligence, volume 682 of Lecture Notes in Computer Science, pages 116–128. Springer, 1993.
3. S. Barro, A. Bugarín, P. Cariñena, and F. Díaz-Hermida. A framework for fuzzy quantification models. GSI-99-01, Departamento de Electrónica e Computación, Universidade de Santiago di Compostela, E15782 Santiago de Compostela, Spain, 1999.
4. S. Barro, A. Bugarín, P. Cariñena, and F. Díaz-Hermida. A framework for fuzzy quantification models analysis. IEEE Transactions on Fuzzy Systems, 11:89–99, 2003.
5. J. Barwise. Monotone quantifiers and admissible sets. In Generalized Recursion Theory II, pages 1–38. North-Holland, Amsterdam, 1978.