|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Maarten Marx (Imperial College of Science, Technology and Medicine, London) , Laszls Pslos (Universiteit van Amsterdam) , Michael Masuch (Universiteit van Amsterdam)Publisher: Centre for the Study of Language & Information Imprint: Centre for the Study of Language & Information Dimensions: Width: 15.20cm , Height: 2.00cm , Length: 22.80cm Weight: 0.520kg ISBN: 9781575860251ISBN 10: 1575860252 Pages: 261 Publication Date: 28 August 1996 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Available To Order We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsContributors; Preface; 1. A crash course in arrow logic; 2. Investigation in arrow logic; 3. Causes and remedies for undecidability in arrow logics and in multi-modal logics; 4. Associativity does not imply undecidability without axiom of modal distribution; 5. Dynamic arrow logic; 6. Complete calculus for conjugated arrow logic; 7. Many-dimensional arrow structures; arrow logics; 8. What is modal logic?; 9. Content versus wrapping: an essay in semantic complexity; 10. A fine-structure analysis of first order logic; Index; Name index.Reviews' ... a comprehensive survey.' L'Enseignement Mathematique Author InformationTab Content 6Author Website:Countries AvailableAll regions |
||||