Labelled Deduction

DISCIPLINE AS LOGIC: TREATING LABELS AS FIRST CLASS CITIZENS Patrick Blackburn Abstract This paper discusses modal labelled deduction from the perspective offered by hybrid languages. In essence, hybrid languages are modal languages in ...

Labelled Deduction

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.

More Books:

Labelled Deduction
Language: en
Pages: 267
Authors: David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

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
Two-dimensional Labelled Deduction
Language: en
Pages: 18
Authors: Maarten Johannes Marx, Stefan Schlobach, Szabolcs Mikulás
Categories: Philosophy
Type: BOOK - Published: 1999 - Publisher:

Books about Two-dimensional Labelled Deduction
Labelled Non-Classical Logics
Language: en
Pages: 292
Authors: Luca Viganò
Categories: Philosophy
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2
Frontiers of Combining Systems
Language: en
Pages: 264
Authors: Alessandro Armando
Categories: Computers
Type: BOOK - Published: 2003-08-01 - Publisher: Springer

This volume contains the proceedings of FroCoS 2002, the 4th International Workshop on Frontiers of Combining Systems, held April 8-10, 2002 in Santa Margherita Ligure (near Genova), Italy. Like its predecessors, organized in - nich (1996), Amsterdam (1998), and Nancy (2000), FroCoS 2002 o?ered a c- mon forum for the
Natural Deduction, Hybrid Systems and Modal Logics
Language: en
Pages: 492
Authors: Andrzej Indrzejczak
Categories: Philosophy
Type: BOOK - Published: 2010-07-03 - Publisher: Springer Science & Business Media

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic,