Stock image for illustration purposes only - book cover, edition or condition may vary.
Labelled Deduction
. Ed(S): Basin, David; D'Agostino, Marcello (University Of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica Gmbh, Franfurt Am Main, Germany);
€ 121.80
FREE Delivery in Ireland
Description for Labelled Deduction
paperback. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics ... Read more
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer Netherlands
Number of pages
267
Condition
New
Series
Applied Logic Series
Number of Pages
267
Place of Publication
Dordrecht, Netherlands
ISBN
9789401057813
SKU
V9789401057813
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About . Ed(S): Basin, David; D'Agostino, Marcello (University Of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica Gmbh, Franfurt Am Main, 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 Deduction