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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands : Imprint : Springer,
2000.
|
| Series: | Applied logic series ;
17. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
