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. <br/> Labelled deduction systems often possess attractive pr...

Full description

Bibliographic Details

Main Author:	Basin, David
Corporate Author:	SpringerLink (Online service)
Other Authors:	D'Agostino, Marcello, Gabbay, Dov M., Matthews, Sean, Viganò, Luca
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint : Springer, 2000.
Series:	Applied logic series ; 17.
Subjects:	Modality (Logic) Electronic books.
Online Access:	Connect to the full text of this electronic book