Labelled Deduction
. Ed(S): Basin, David; D'Agostino, Marcello (University Of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica Gmbh, Franfurt Am Main, Germany);
€ 133.13
FREE Delivery in Ireland
Description for Labelled Deduction
Hardback. Discuses about Labelled deduction which 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. 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. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576.
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
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
267
Condition
New
Series
Applied Logic Series
Number of Pages
267
Place of Publication
Dordrecht, Netherlands
ISBN
9780792362371
SKU
V9780792362371
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