Order Total (1 Item Items):
Shipping Destination:
Semantics Proof Theory Logic by Pym David (48 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (48)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (41)
- As New, Fine or Near Fine (5)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (18)
- Not Print on Demand (40)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer-Verlag New York Inc., 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
US$ 8.45
Convert currencyUS$ 26.41 shipping from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
US$ 37.04
Convert currencyUS$ 17.44 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Volume 26. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9781402007453.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
US$ 145.55
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: New.
-
Condition: New.
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. SUPER FAST SHIPPING.
-
Paperback. Condition: new. Paperback. This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intensional) implications co-exist with equal logical status, we give natural deduction, lambda-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist. This monograph will be of interest to graduate students and researchers in mathematical logic, philosophical logic, computational logic and theoretical computer science. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 178.51
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Hardcover)
Published by Kluwer Academic Publishers, New York, NY, 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
Hardcover. Condition: new. Hardcover. This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. Starting, on the one hand, from elementary observations about modelling resources and, on the other, from a desire to develop a system of logic within which additive (or extensional) and multiplicative (or intentional) implications co-exist with equal logical status, the book gives natural deduction, l-calculi, sequent calculus, categorical semantics, Kripke models, topological models, logical relations and computational interpretations for both propositional and predicate BI, within which both additive and multiplicative quantifiers also co-exist. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 178.97
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 186.19
Convert currencyUS$ 16.15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series, 26)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 193.27
Convert currencyUS$ 16.15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 155.98
Convert currencyUS$ 58.70 shipping from France to U.S.A.Quantity: 1 available
Add to basketCouverture rigide. Condition: Neuf.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
US$ 211.77
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer Netherlands, 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
US$ 164.63
Convert currencyUS$ 57.51 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer Netherlands, 2010
ISBN 10: 9048160723 ISBN 13: 9789048160723
Language: English
US$ 164.63
Convert currencyUS$ 57.51 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 208.77
Convert currencyUS$ 16.15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 208.75
Convert currencyUS$ 20.22 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 232.25
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
US$ 235.53
Convert currencyUS$ 12.33 shipping from Ireland to U.S.A.Quantity: 15 available
Add to basketCondition: New. 2010. Softcover reprint of hardcover 1st ed. 2002. paperback. . . . . .
-
US$ 237.43
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 342.
-
Condition: New. pp. 344.
-
Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 239.77
Convert currencyUS$ 20.22 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
The Semantics and Proof Theory of the Logic of Bunched Implications
Published by Springer Netherlands, Springer Netherlands Jul 2002, 2002
ISBN 10: 1402007450 ISBN 13: 9781402007453
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
US$ 194.05
Convert currencyUS$ 70.44 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketBuch. Condition: Neu. Neuware -This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: ¿ Resources as a basis for semantics; ¿ Proof-search as a basis for reasoning; and ¿ The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.
