Labelled Deduction edited by David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
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, su...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Basin, David
(Editor),
D'Agostino, M.
(Editor),
Gabbay, Dov M.
(Editor),
Matthews, Seán
(Editor),
Viganò, Luca
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2000.
|
|---|
| Edition: | 1st ed. 2000. |
|---|
| Series: | Applied Logic Series,
17
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|