Semantic Values for Natural Deduction Derivations

Leiden Repository

Semantic Values for Natural Deduction Derivations

Type: Article in monograph or in proceedings
Title: Semantic Values for Natural Deduction Derivations
Author: Sundholm, B.G.
Source: the Proceedings of the International Workshop Proof-theoretical Semantics Tübingen, January 17 jan 1998, 1 - 16 (2006)
Publisher: Springer
Issue Date: 2006
Faculty: Faculteit der Wijsbegeerte
Handle: http://hdl.handle.net/1887/8644
 

Files in this item

Description Size View
application/pdf 9_054_047.pdf 255.9Kb Under embargo Full text at publisher site

This item appears in the following Collection(s)