Muskens R. Meaning and Partiality.pdf

(937 KB) Pobierz
Studies in Logic, Language and Information
Managing editor
: Robin Cooper, University of Edinburgh
Executive editor
: Maarten de Rijke, CWI, Amsterdam
Editorial board
:
Peter Aczel, Manchester University
Nicholas Asher, The University of Texas, Austin
Jon Barwise, Indiana University, Bloomington
John Etchemendy, CSLI, Stanford
Dov Gabbay, Imperial College, London
Hans Kamp, Universit¨t Stuttgart
a
Godehard Link, Universit¨t M¨nchen
a
u
Fernando Pereira, AT&T Bell Laboratories, Murray Hill
Dag Westerst˚ Stockholm University
ahl,
The
Studies in Logic, Language and Information
book series is the official book
series of the European Association for Logic, Language and Information (FoLLI).
The scope of the book series is the logical and computational foundations of
natural, formal, and programming languages, as well as the different forms of hu-
man and mechanized inference and information processing. It covers the logical,
linguistic, psychological and information-theoretic parts of the cognitive sciences
as well as mathematical tools for them. The emphasis is on the theoretical and
interdisciplinary aspects of these areas.
The series aims at the rapid dissemination of research monographs, lecture
notes and edited volumes at an affordable price.
Meaning and Partiality
Reinhard Muskens
CSLI was founded early in 1983 by researchers from Stanford University, SRI
International, and Xerox PARC to further research and development of integrated
theories of language, information, and computation. CSLI headquarters and the
publication offices are located at the Stanford site.
CSLI/SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025
CSLI/Stanford
Ventura Hall
Stanford, CA 94305
CSLI/Xerox PARC
3333 Coyote Hill Road
Palo Alto, CA 94304
Copyright c 1995
Center for the Study of Language and Information
Leland Stanford Junior University
Printed in the United States
01 00 99 98 97 96 95
654321
Library of Congress Cataloging-in-Publication Data
U. GnoWho
A Great Title / U. GnoWho
p. cm. — (Studies in Logic, Language and Information ; no. ??)
Includes bibliographical references and index.
ISBN
1-234567-89-0 (cloth)
ISBN
1-234567-89-0 (pbk.)
1. Logic. 2. Language. 3. Information. I. Title. II. Series: Studies in Logic,
Language and Information ; no. ??, etc.
BC
5.
S
57 199?
160
90-82189
CIP
voor Noor
Contents
Preface
1
2
3
4
5
6
7
8
9
ix
1
7
21
29
Introduction
Two Type Logics
The Logic IL
PTQ Revisited
Going Partial I: Propositional Logic and Predicate
Logic
41
Going Partial II: Type Theory
Propositional Attitudes
Names
87
115
133
137
139
79
57
67
Situations, Persistence and Weak Consequence
Appendix
Bibliography
Name Index
Subject Index
vii

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin