Type Logical Grammar: Categorial Logic of Signs 论文
2011Medical Entomology and Zoology引用 256
Logic, programming, and type systemsLogic, Reasoning, and Knowledgesemigroups and automata theory
摘要
Notational Conventions. Foreword. 1. Montague Grammar. 2. Logic of Types and Types of Logic. 3. Categorial Grammar. 4. Enriching Categorial Grammar. 5. Intensionality and Binding. 6. Polymorphism. 7. Structural Control. 8. Extraction. 9. Conclusion. Appendix A: Interpretation of types. Appendix B: Gentzen Sequent Rules. Appendix C: Summary Grammar. Bibliography. Index.