Dosen kosta (40 resultados)

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: New.

Paperback or Softback. Condición: New. Proof-Theoretical Coherence. Book.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Hardcover. Condición: Very Good+. Review copy, never used.

Hardcover. Condición: Very Good. No Jacket. No faults.

Paperback. Condición: New.

Couverture souple. Condición: Très bon. Dordrecht, Boston, London, Kluwer Academic Publishers, 1999, softcover, about 9 X 6 inches, (xii) 229 pages. Our copy is in fine condition without noticeable wear but some yellowing (or soiling ?) on the right edge of the pages (see images). Interior is excellent except only for a very small previous owner's name inscribed on ffep.…

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. Shows that the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. This book is suitable as an introductory text in categorical proof theory. Series: Trends in Logic. Num Pages: 229 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526. . 1999. Hardback. . . . . …

Condición: New. Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories. Editor(s): Schroeder-Heister, Peter; Dosen, Kosta. Series: Studies in Logic & Computation. Num Pages: 396 pages, line figures. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 27. Weight in Grams: 805. . 1993. Hardback. . . . . …

Condición: New. Shows that the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. This book is suitable as an introductory text in categorical proof theory. Series: Trends in Logic. Num Pages: 229 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 526. . 1999. Hardback. . . . . Books ship from the US and Ireland. …

Condición: New. Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories. Editor(s): Schroeder-Heister, Peter; Dosen, Kosta. Series: Studies in Logic & Computation. Num Pages: 396 pages, line figures. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 27. Weight in Grams: 805. . 1993. Hardback. . . . . Books ship from the US and Ireland. …

Condición: As New. Unread book in perfect condition.

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condición: New. Print on Demand pp. 392 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condición: New. Print on Demand pp. 392.

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condición: New. PRINT ON DEMAND pp. 392.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book in categorial proof theory formulates in terms of category theory a generalization close to linear algebra of the notions of distributive lattice and Boolean algebra. These notions of distributive lattice category and Boolean category codify a plausible nontrivial notion of identity of proofs in classical propositional logic, which is in accordance with Gentzen's cut-elimination procedure for multiple-conclusion sequents modified by admitting new principles called union of proofs and zero proofs. It is proved that these notions of category are coherent in the sense that there is a faithful structure-preserving functor from freely generated distributive lattice categories and Boolean categories into the category whose arrows are relations between finite ordinals-a category related to generality of proofs and to the notion of natural transformation. These coherence results yield a simple decision procedure for equality of proofs. Coherence in the same sense is also proved for various more general notions of category that enter into the notions of distributive lattice category and Boolean category. Some of these coherence results, like those for monoidal and symmetric monoidal categories are well known, but are here presented in a new light. The key to this categorification of the proof theory of classical propositional logic is distribution of conjunction over disjunction that is not an isomorphism as in cartesian closed categories.…