Mathematical Sciences Research Institute Publications

Logic from Computer Science

Proceedings of a Workshop held November 13–17, 1989

Editors: Moschovakis, Yiannis N. (Ed.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-1-4612-2822-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-1-4612-7685-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu­ nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob­ vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.

Table of contents (22 chapters)

  • The Imperative Future: Past Successes ⇒ Future Actions

    Barringer, Howard (et al.)

    Pages 1-16

  • A Logical Operational Semantics of Full Prolog: Part III. Built-In Predicates for Files, Terms, Arithmetic and Input-Output

    Börger, Egon

    Pages 17-50

  • Computability and Complexity of Higher Type Functions

    Cook, Stephen A.

    Pages 51-72

  • Constructively Equivalent Propositions and Isomorphisms of Objects, or Terms as Natural Transformations

    Cosmo, Roberto Di (et al.)

    Pages 73-94

  • Logics for Termination and Correctness of Functional Programs

    Feferman, Solomon

    Pages 95-127

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-1-4612-2822-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-1-4612-7685-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic from Computer Science
Book Subtitle
Proceedings of a Workshop held November 13–17, 1989
Editors
  • Yiannis N. Moschovakis
Series Title
Mathematical Sciences Research Institute Publications
Series Volume
21
Copyright
1992
Publisher
Springer-Verlag New York
Copyright Holder
Springer-Verlag New York, Inc.
eBook ISBN
978-1-4612-2822-6
DOI
10.1007/978-1-4612-2822-6
Softcover ISBN
978-1-4612-7685-2
Series ISSN
0940-4740
Edition Number
1
Number of Pages
XI, 608
Topics