Skip to main content
SpringerLink
Log in
Book cover

International Conference on Active Media Technology

AMT 2012: Active Media Technology pp 387–398Cite as

Semantic Information with Type Theory of Acyclic Recursion

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7669))

Abstract

The paper provides introduction into the language, semantics, and the reduction calculus of acyclic recursion. The expressiveness of the theory for conveying semantic information, relevant for applications in active media technologies, is demonstrated by representing naming information.

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

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.

References

  1. Gallin, D.: Intensional and Higher-Order Modal Logic. North-Holland (1975)

    Google Scholar 

  2. Loukanova, R.: Reference, co-reference and antecedent-anaphora in the type theory of acyclic recursion. In: Bel-Enguix, G., Jiménez-López, M.D. (eds.) Bio-Inspired Models for Natural and Formal Languages, pp. 81–102. Cambridge Scholars Publishing (2011)

    Google Scholar 

  3. Loukanova, R.: Semantics with the language of acyclic recursion in constraint-based grammar. In: Bel-Enguix, G., Jiménez-López, M.D. (eds.) Bio-Inspired Models for Natural and Formal Languages, pp. 103–134. Cambridge Scholars Publishing (2011)

    Google Scholar 

  4. Moschovakis, Y.N.: Sense and denotation as algorithm and value. In: Oikkonen, J., Vaananen, J. (eds.) Lecture Notes in Logic, vol. 2, pp. 210–249. Springer (1994)

    Google Scholar 

  5. Moschovakis, Y.N.: A logical calculus of meaning and synonymy. Linguistics and Philosophy 29, 27–89 (2006)

    Article  Google Scholar 

  6. Thomason, R.H. (ed.): Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974); Edited, with an introduction by R.H. Thomason

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Independent Research, Uppsala, Sweden

    Roussanka Loukanova

Authors
  1. Roussanka Loukanova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer and Information Sciences, Hosei University, 3-7-2, Kajino-cho, 184-8584, Koganei-shi, Tokyo, Japan

    Runhe Huang

  2. Faculty of Computer Science, University of New Brunswick, Box 440, E3B 5A3, Fredicton, NB, Canada

    Ali A. Ghorbani

  3. Department of Informatics, Systems and Communication, University of Milano Bicocca, Viale Sarca 336, 20126, Milano, Italy

    Gabriella Pasi

  4. Department of Administration Engineering, Keio University, 3-14-1 Hiyoshi, 223-8522, Kohoku-ku, Yokohama, Japan

    Takahira Yamaguchi

  5. University of Aizu, 102-C, Research Quadrangles, Tsuruga, Ikki-machi, 965-8580, Aizu-Wakamatsu City, Fukushima, Japan

    Neil Y. Yen

  6. Institute of Software, Chinese Academy of Sciences, no.4 Nan Sie Jie, Zhong Guan Cun, Hai Dian Qu, 100190, Beijing, China

    Beijing Jin

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Loukanova, R. (2012). Semantic Information with Type Theory of Acyclic Recursion. In: Huang, R., Ghorbani, A.A., Pasi, G., Yamaguchi, T., Yen, N.Y., Jin, B. (eds) Active Media Technology. AMT 2012. Lecture Notes in Computer Science, vol 7669. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35236-2_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35236-2_39

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35235-5

  • Online ISBN: 978-3-642-35236-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation