FUNCTION INTERPRETAT OF LOGICAL DEDUCT..: 5 (Advances In Logic) - Tapa dura

De Oliveira, Anjolina G.; Gabbay, Dov M.; RUY J G B DE QUEIROZ ET AL; De Queiroz, Ruy J. G. B.

 
9789814360951: FUNCTION INTERPRETAT OF LOGICAL DEDUCT..: 5 (Advances In Logic)
Tapa dura
ISBN 10: 9814360953 ISBN 13: 9789814360951
Editorial: World Scientific, 2011

Sinopsis

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing ‘labels’ is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

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

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

De la contraportada

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing of 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

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

Editorial
World Scientific
Año de publicación
2011
Idioma
Inglés
ISBN 10 
9814360953
ISBN 13 
9789814360951
Encuadernación
Tapa dura
Número de páginas
300
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania