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/li>
  • 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