Ebook > Non-ficțiune > Filozofie / Religie > Filosofie - general > David Basin & M. D'Agostino: Labelled Deduction (PDF)

David Basin & M. D’Agostino
Labelled Deduction

Ajutor

Copertina de David Basin & M. D'Agostino: Labelled Deduction (PDF)

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.

€111.48

Limba Engleză ● Format PDF ● ISBN 9789401140409 ● Editor David Basin & M. D’Agostino ● Editura Springer Netherlands ● Publicat 2012 ● Descărcabil 3 ori ● Valută EUR ● ID 4718133 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

David Basin M. D Agostino Dov M. Gabbay Sean Matthews Luca Vigano M. D. Agostino

46.563 Ebooks din această categorie

Copertina de Li Pang-Kwong: Hong Kong from Britain to China

Li Pang-Kwong: Hong Kong from Britain to China

This title was first published in 2000: The Sino-British joint declaration in 1985 had called to the end of British rule in Hong Kong, but the impacts of the agreed introduction of popular election …

Copertina de Cristina (University of Edinburgh, UK) Richie: Environmental Bioethics

Cristina (University of Edinburgh, UK) Richie: Environmental Bioethics

Environmental bioethics addresses the environmental impact of the health care industry and climate change health hazards as two ethical issues which impact each other. This edited volume examines the …

Copertina de Frans Svensson: Descartes s Moral Perfectionism

Frans Svensson: Descartes s Moral Perfectionism

This book offers a novel and comprehensive interpretation of Descartes s moral philosophy. In contrast to other influential interpretations, the book argues that the central tenet of his ethical …

Copertina de Morris Ginsberg: Psychology of Society

Morris Ginsberg: Psychology of Society

First published in 1964, The Psychology of Society deals with the idea of building up a social psychology or the science of human nature. The author confines himself to a discussion of certain of its …

Copertina de George Malcolm Stratton: Man, Creator or Destroyer

George Malcolm Stratton: Man, Creator or Destroyer

First published in 1952, Man, Creator or Destroyer makes clear that mankind is preeminent both as a creator and as a destroyer. And we are doomed unless creative man can master destructive man. But …

Copertina de Reginald E. Roper: Individual and the Community

Reginald E. Roper: Individual and the Community

First published in 1922, The Individual and the Community is a simple statement of the principles which underlie human activities, and condition the combined efforts of two or more individuals: with …

Copertina de Jadunath Sinha: Indian Realism

Jadunath Sinha: Indian Realism

First published in 1938, Indian Realism is a reconstruction of the Yogacara Vijnanavada (Subjective Idealism) and an exhaustive criticism of it by the different schools of Indian realism. The …

Copertina de Susan Blackmore & Emily T. Troscianko: Consciousness

Susan Blackmore & Emily T. Troscianko: Consciousness

Now in its fourth edition, this highly popular text is the definitive introduction to consciousness, exploring the key theories and evidence in consciousness studies ranging from neuroscience and …

Copertina de Kiyoshi Miki: Miki Kiyoshi''s The Logic of Imagination

Kiyoshi Miki: Miki Kiyoshi”s The Logic of Imagination

The Japanese philosopher Miki Kiyoshi opens doors to all those interested in rethinking the problem of imagination, myth, and technology. Miki Kiyoshi is one of the central figures in the Kyo …

Copertina de Matthew R. (Bridgewater State University, USA) Dasti & Malcolm (Smith College, USA) Keating: Vindication of the World

Matthew R. (Bridgewater State University, USA) Dasti & Malcolm (Smith College, USA) Keating: Vindication of the World

Stephen Phillips has devoted his career to excavating some of the most valuable gems of Indian philosophy and bringing them into conversation with contemporary thought. This volume honors him and …

Pagina următoare >>>