Skip to main content

What was Llull up to?

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1231))

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Abbreviations

MOG:

Raymundi Lulli Opera omnia, Ivo Salzinger editor, 8 vols., Mainz, 1721–1742 (reprint Frankfurt, 1965)

ROL:

Raimundi Lulli Opera Latina, F. Stegmüller et al., editors, 21 vols. published so far, Palma de Mallorca/Turnhout, Belgium, 1959.

References

  1. Beth, E. W. (1962) Formal Methods; An introduction to symbolic logic and to the study of effective operations in arithmetic and logic, D. Reidel, Dordrecht.

    MATH  Google Scholar 

  2. Bonner, A. (1994) ”Ramon Llull: relació, acció, combinatória i lògica moderna”, Studia Lulliana 34, pp. 51–74.

    Google Scholar 

  3. Colomer, E. (1979a) ”Ramon Llull, ¿precursor de la informática?”, Boletín CITEMA 81, pp. 7–44.

    Google Scholar 

  4. Colomer, E. (1979b) ”De Ramon Llull a la moderna informática”, Estudios Lulianos 23, pp. 113–135.

    Google Scholar 

  5. Deo, N., (1974) Graph Theory, with Applications to Engineering and Computer Science, Prentice-Hall, Englewood Cliffs, N.J.

    MATH  Google Scholar 

  6. Fleckenstein, J. O. (1967) ”Leibniz's algorithmic interpretation of Lullus' art”, Organon (Institut d'Histoire de la science et de la technique auprès de l'Académie Polonaise des Sciences) 4, 171–180.

    Google Scholar 

  7. Foulds, L.R. (1992) Graph Theory Applications, Springer-Verlag, New York/Berlin.

    Book  MATH  Google Scholar 

  8. Gardner, M. (1982) ”The Ars Magna of Ramon Lull”, Logic Machines and Diagrams, University of Chicago Press, Chicago.

    Google Scholar 

  9. Gentzen, G. (1969) The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam.

    Google Scholar 

  10. Künzel W. and Cornelius, H. (1991) Die Ars Generalis Ultima des Raymundus Lullus. Studien zu einem geheimen Ursprung der Computertheorie, Berlin.

    Google Scholar 

  11. Llull, R. (1978) Ars notatoria, J. Gayà editor, CITEMA, Madrid.

    Google Scholar 

  12. Llull, R. (1985) Selected Works of Ramon Llull (1232–1316), A. Bonner, editor, 2 vols. Princeton University Press, Princeton, N.J.

    Google Scholar 

  13. Llull, R. (1993) Doctor Illuminatus. A Ramon Llull Reader, A. Bonner and E. Bonner, editors, Princeton University Press, Princeton, N.J.

    Google Scholar 

  14. McLean, I. and London, J. (1990) ”The Borda and Condorcet Principles: Three Medieval Applications”, Social Choice and Welfare 7, 99–108.

    Article  MathSciNet  MATH  Google Scholar 

  15. McLean, I. i London, J. (1992) ”Ramon Lull and the Theory of Voting”, Studia Lulliana 32, 21–37.

    Google Scholar 

  16. Maróstica, A. H. (1992) ”Ars combinatoria and Time: Llull, Leibniz and Peirce”, Studia Lulliana 32, 105–134.

    Google Scholar 

  17. Nerode, A. and Shore, R. A. (1993) Logic for Applications, Springer Verlag, New York/Berlin.

    Book  MATH  Google Scholar 

  18. Orio, B. (1994) ”Leibniz y la tradición neoplatónica. Estado actual de la cuestión”, Revista de Filosofia 7, p. 493–517.

    Google Scholar 

  19. Smullyan, R. M. (1968) First Order Logic, Springer-Verlag, Berlin.

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Miquel Bertran Teodor Rus

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bonner, A. (1997). What was Llull up to?. In: Bertran, M., Rus, T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63010-4_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-63010-4_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63010-4

  • Online ISBN: 978-3-540-69058-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics