Labelled Deduction: 17 (Applied Logic Series, 17) - Tapa dura

Gabbay, Dov M.; D’Agostino, Marcello

 
9780792362371: Labelled Deduction: 17 (Applied Logic Series, 17)
Tapa dura
ISBN 10: 0792362373 ISBN 13: 9780792362371
Editorial: Springer, 2000

Sinopsis

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 - for example, formalizing and reasoning about dynamic `state oriented’ properties such as knowledge, belief, time, space, and resources.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2000
Idioma
Inglés
ISBN 10 
0792362373
ISBN 13 
9780792362371
Encuadernación
Tapa dura
Número de páginas
284
Editor
Basin David
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9789401057813: Labelled Deduction: 17 (Applied Logic Series)

Edición Destacada

ISBN 10:  9401057818 ISBN 13:  9789401057813
Editorial: Springer, 2012
Tapa blanda