×

Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. (English) Zbl 0942.03522

CSLI Lecture Notes. 26. Stanford, CA: Stanford University, CSLI, Center for the Study of Language and Information. xiv, 637 p. (1991).
The articles of this volume will not be indexed individually.
The twenty-six papers in this collection include the following: Peter Aczel and Rachel Lunnon, Universes and parameters (3-24); Keith J. Devlin, Situations as mathematical abstractions (25-39); Keith J. Devlin, Oracles in situation semantics (41-49); Rachel Lunnon, Many sorted universes, SRDs, and injective sums (51-79); Edward N. Zalta, A theory of situations (81-111); Tom Burke, Peirce on truth and partiality (115-146); David Israel and John Perry, Information and architecture (147-159); Robert C. Koons, Doxic paradox: a situational solution (161-178); Kuniaki Mukai, CLP(AFA): coinductive semantics of Horn clauses with compact constraints (179-214); Hideyuki Nakashima and Syun Tutiya, Inferring in a situation about situations (215-227); Bill Rounds, Situation-theoretic aspects of databases (229-255); Jerry Seligman, Physical situations and information flow (257-292); Richard P. Cooper, Persistence and structural determination (295-309); Robin Cooper and Hans Kamp, Negation in situation semantics and discourse representation theory (311-333); Jean Mark Gawron, John Nerbonne and Stanley Peters, The absorption principle and \(E\)-type anaphora (335-362); Jonathan Ginzburg, Questions without answers, wh-phrases without scope: a semantics for direct wh-questions and their responses (363-404); Koiti Hasida, Reducing complexity of constraint-based grammars (405-423); Tatsunori Mori and Hiroshi Nakagawa, A formalization of metaphor understanding in situation semantics (449-467); Massimo Poesio, Relational semantics and scope ambiguity (469-497); C. Michael Lewis,Visualization and situations (553-580); Sun-Joo Shin, A situation-theoretic ac count of valid reasoning with Venn diagrams (581-605); Keith Stenning and Jon Oberlander, Reasoning with words, pictures, and calculi: computation versus justification (607-621).

MSC:

03B65 Logic of natural languages
00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03A05 Philosophical and critical aspects of logic and foundations
PDFBibTeX XMLCite