English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Science/Engineering Essentials of Toxic Chemical Risk: Science and Society
Science/Engineering Telefoncoaching: So machen Sie aus Ihren Mitarbeitern Telefonprofis
Science/Engineering Wireless Communications (Wiley - IEEE)
Science/Engineering Posttraumatische Belastungsstörungen (German Edition)
Science/Engineering Lernplattformen in Schulen: Ansätze für E-Learning und Blended Learning in Präsenzklassen (1 Auflage)
Science/Engineering Stochastik für Einsteiger: Eine Einführung in die faszinierende Welt des Zufalls. Mit über 220 Übungsaufgaben und Lösungen {Repost}
Science/Engineering Testtheorie und Fragebogenkonstruktion (Springer-Lehrbuch)
Science/Engineering Centrifugal Pumps, 2nd Edition
Science/Engineering Computational Intelligence for Modelling and Prediction (Studies in Computational Intelligence) 1 edition {Repost}
Science/Engineering Networks, Crowds, and Markets: Reasoning About a Highly Connected World {repost}
Science/Engineering Introduction to Biophotonics (repost)
Science/Engineering The Art and Science of Psychotherapy (repost)
Science/Engineering Advances in Chemical Physics - Volume 15: Stochastic Processes in Chemical Physics
Science/Engineering "Emulsion Science: Basic Principles" (repost)
Science/Engineering Elementary Principles of Chemical Processes 3rd edition
Science/Engineering Boundary Element Analysis (repost)
Science/Engineering Collection of books on physics 2
Science/Engineering A Practical Handbook of Preparative HPLC by Donald A. Wellings (Repost)
Science/Engineering Reviews of Environmental Contamination and Toxicology 184 by George W. Ware
Useful Links
Science/Engineering Proof-Net Categories
Posted on 2010-03-15
|  |
More Kosta DoSen, Zoran Petrić “Proof-Net Categories" Star-autonomous categories are a brand of symmetric monoidal closed categories of particular interest for classical linear logic. This work formulates equationally a precise notion of star-autonomous category without unit objects, which is called proof-net category. A coherence theorem analogous to the coherence theorem for symmetric monoidal closed categories with respect to graphs is proved for proof-net categories. It is also proved that the free proof-net category generated by a set of objects is isomorphic to a full subcategory of the free star-autonomous category generated by the same set of objects. This yields a very useful coherence theorem for star-autonomous categories involving the unit objects, exactly analogous to the coherence theorem for symmetric monoidal closed categories. An analogous coherence result is proved also for proof-net categories with the mix principle of linear logic. The graphs involved in these coherence theorems are the relevant portions of proof nets that one needs to solve the question whether a diagram of arrows commutes. Proofs are inspired by methods of proof theory. The results of this work are of interest for general proof theory. They show how generality of proofs provides a criterion for identity of proofs in a fragment of linear logic. They also make a contribution to the study of coherence in symmetric monoidal closed categories. depositfiles.com easy-share --mirror--> "
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Technical Proof-Net Categories Kosta DoSen, Zoran Petri? |
 | Science/Engineering Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics) Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)Springer | Pages: 536| 2008-06| ISBN: 3540775323| 3 MBThis is the first treatment in book format of proof-theoretic transformations ... |
 | Science/Engineering Reductive Logic and Proof-search: Proof Theory, Semantics, and Control David J. Pym, Eike Ritter, "Reductive Logic and Proof-search: Proof Theory, Semantics, and Control " Oxford University Press, USA | 2004 | ISBN: 0198526334 | 232 pages | PDF | 2,1 MB This book is a specialized monograph on the developme ... |
| Science/Engineering Applied Proof Theory: Proof Interpretations and their Use in Mathematics (repost) U. Kohlenbach, "Applied Proof Theory: Proof Interpretations and their Use in Mathematics" Springer | 2008 | ISBN: 3540775323 | 536 pages | PDF | 3,2 MB This is the first treatment in book format of proof-theoretic transformations -- kno ... |
 | Science/Engineering The Proof Is in the Pudding: The Changing Nature of Mathematical Proof (ReUp) Steven G. Krantz, "The Proof Is in the Pudding: The Changing Nature of Mathematical Proof" Springer-Verlag 2010 | ISBN-10: 0387489088 | 240 Зages | PDF | 2,3 MB Krantz takes the reader on a journey around the globe and through centurie ... |
 | Science/Engineering The Proof Is in the Pudding: The Changing Nature of Mathematical Proof Steven G. Krantz, "The Proof Is in the Pudding: The Changing Nature of Mathematical Proof " Springer-Verlag | 2010 | ISBN: 0387489088 | 240 pages | PDF | 2,3 MB Krantz takes the reader on a journey around the globe and through centuries ... |
Comments (0)
