CSLI Publications logo
new books
catalog
series
contact us
for authors
order
search
CSLI Publications
Facebook
 
cover

Logic, Language and Computation, Volume 1

edited by Jerry Seligman and Dag Westerståhl

The fields of logic, linguistics and computer science are intimately related, and modern research has uncovered a wide range of connections. This collection focuses on work that is based on the unifying concept of information. Some of the papers contribute to a general theory of information, others tackle specific problems using an information-based approach. All the papers were presented at the conference on Information-based Approaches to Logic, Language and Computation held at St. Mary's College, Moraga California in June, 1994. The conference is a direct successor of three conferences on Situation Theory and its Applications.

Jerry Seligman is an associate professor at the National Chung Cheng University in Taiwan. Dag Westerståhl is an associate professor of theoretical philosophy at Stockholm University, Sweden.

Contents

  • 1 Generalised Set Theory Peter Aczel
  • 2 Information-Oriented Computation with BABY-SIT Erkan Tin and Varol Akman
  • 3 Reasoning with Diagram Sequences Michael Anderson
  • 4 Information Flow and the Lambek Calculus Jon Barwise, Dov Gabbay and Chrysafis Hartonas
  • 5 Logical Aspects of Combined Structures Patrick Blackburn and Maarten de Rijke
  • 6 On Rich Ontologies for Tense and Aspect Patrick Blackburn, Claire Gardent and Maarten de Rijke
  • 7 Naturalising Constraints Nick Braisby and Richard P. Cooper
  • 8 Reflexivity and Belief De Se Karen Leigh Brown
  • 9 A Channel-Theoretic Model for Conditional Logics Lawrence Cavedon
  • 10 The Attitudes in Discourse Representation Theory and Situation Sematics Robin Cooper
  • 11 A Compositional Situation Semantics for Attitude Reports Robin Cooper
  • 12 Intensional Verbs Without Type-Raising or Lexical Ambiguity Mary Dalrymple, John Lamping, Fernando Pereira and Vijay Saraswat
  • 13 Representation and Information in Dynamic Semantics Paul Dekker
  • 14 A Persistent Notion of Truth in Dynamic Semantics Tim Fernando
  • 15 Dynamics and the Semantics of Dialogue Jonathan Ginzburg
  • 16 Towards a Channel-Theoretic Account of the Progressive Sheila Glasbey
  • 17 This Might Be It Jeroen Groenendijk, Martin Stokhof, and Frank Veltman
  • 18 Euler and the Role of Visualization in Logic Eric Hammer and Sun-Joo Shin
  • 19 Individuation and Reasoning Kiyoshi Ishikawa
  • 20 Where Monsters Dwell David Israel and John Perry
  • 21 A Distributed System Model for Actions of Situated Yasuhiro Katagiri
  • 22 Information, Representation and the Possibility of Error Robert C. Koons
  • 23 Bridging Situations and NPI Licensing Ik-Hwan Lee
  • 24 A Diagrammatic Inference System for Geometry Isabel Luengo
  • 25 Belief as a Form of Subjective Information Daniel Mack
  • 26 Diagram Contents and Representational Granularity Kenneth Manders
  • 27 Constraints on Coalgebras Kuniaki Mukai
  • 28 Proof Styles in Multimodal Reasoning Jon Oberlander, Richard Cox, and Keith Stenning
  • 29 Austinian Pluralities Dick Oehrle
  • 30 Interfacing Situations John Perry and Elizabeth Macken
  • 31 Information Flow and Relevant Logics Greg Restall
  • 32 Attunement to Constraints in Nonmonotonic Reasoning William C. Rounds and Guo-Qiang Zhang
  • 33 A Simultaneous Abstraction Calculus and Theories of Semantics Peter Ruhrberg
  • 34 Minimal Truth Predicates and Situation Theory Stephen Schulz
  • 35 Reasoning System Based on Situation Theory Atsushi Shimojima
  • 36 A Legal Reasoning System Based on Situation Theory Satoshi Tojo and Stephen Wong
  • 37 An E-type Logic Jaap van der Does
  • 38 From Uttereances to Situations: Parsing with Constructions in Small Domains Wlodek Zardozny
  • Index

3/19/96

ISBN (Paperback): 1881526895 (9781881526896)
ISBN (Cloth): 1881526909 (9781881526902)

See also Logic, Language and Computation, volume 3 and volume 2

Subject: Linguistics; Logic; Computational Linguistics

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu