Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008196656/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog abstract "This is an introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.".
- catalog contributor b11400730.
- catalog created "2000.".
- catalog date "2000".
- catalog date "2000.".
- catalog dateCopyrighted "2000.".
- catalog description "1. Introduction -- I. Proof Theory -- 2. Its, Ands and Ors -- 3. Modalities -- 4. Hilbert Systems -- 5. Theories -- 6. Gentzen Systems -- 7. Formulae as Types, Proofs as Terms -- II. Propositional Structures -- 8. Defining Propositional Structures -- 9. Manipulating Propositional Structures -- 10. Categories -- III. Frames -- 11. Frames I: Logics with Distribution -- 12. Frames II: Logics Rejecting Distribution -- 13. Frame Constructions -- IV. Decidability -- 14. Decision Procedures -- 15. Undecidability -- V. Coda -- 16. Using Substructural Logic.".
- catalog description "Includes bibliographical references and index.".
- catalog description "This is an introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.".
- catalog extent "xiv, 381 p. :".
- catalog identifier "0415215331".
- catalog identifier "041521534X (pbk.)".
- catalog issued "2000".
- catalog issued "2000.".
- catalog language "eng".
- catalog publisher "London ; New York : Routlege,".
- catalog subject "160 21".
- catalog subject "BC135 .R47 1999".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog tableOfContents "1. Introduction -- I. Proof Theory -- 2. Its, Ands and Ors -- 3. Modalities -- 4. Hilbert Systems -- 5. Theories -- 6. Gentzen Systems -- 7. Formulae as Types, Proofs as Terms -- II. Propositional Structures -- 8. Defining Propositional Structures -- 9. Manipulating Propositional Structures -- 10. Categories -- III. Frames -- 11. Frames I: Logics with Distribution -- 12. Frames II: Logics Rejecting Distribution -- 13. Frame Constructions -- IV. Decidability -- 14. Decision Procedures -- 15. Undecidability -- V. Coda -- 16. Using Substructural Logic.".
- catalog title "An introduction to substructural logics / Greg Restall.".
- catalog type "text".