Meaning and Partiality
Reinhard Muskens · Data Archiving and Networked Services (DANS) · 1995
Preface 1. Introduction 2. Two type logics 3. The logic IL 4. PTQ revisited 5. Going Partial I: propositional logic and predicate logic 6. Going Partial II: type theory 7. Situations, persistence and weak consequence 8. Propositional attitudes 9. Names Appendix Bibliography Index.