Stock image for illustration purposes only - book cover, edition or condition may vary.
Labelled Non-Classical Logics
Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany)
€ 180.97
FREE Delivery in Ireland
Description for Labelled Non-Classical Logics
Paperback. Num Pages: 292 pages, biography. BIC Classification: HPL; PBC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 474.
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling ... Read more
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Number of pages
292
Condition
New
Number of Pages
292
Place of Publication
New York, NY, United States
ISBN
9781441949622
SKU
V9781441949622
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany)
Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.
Reviews for Labelled Non-Classical Logics