Logic, Language and Computation, Volume 1edited 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.
- 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
|
Distributed by the University of Chicago Press
|