Labelled Natural Deduction for Interval Logics

Thomas Marthedal Rasmussen

Labelled Natural Deduction for Interval Logics

Thomas Marthedal Rasmussen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings : Lecture Notes in Computer Science, 2142
Publisher	Springer
Publication date	2001
Pages	308-323
Publication status	Published - 2001

Access to Document

http://www.imm.dtu.dk/pubdb/p.php?1910

OpenUrl availability

Full text

Cite this

@inproceedings{7231e38f069c4e7b93c44878782efa42,

title = "Labelled Natural Deduction for Interval Logics",

author = "Rasmussen, {Thomas Marthedal}",

year = "2001",

language = "English",

pages = "308--323",

booktitle = "Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings",

publisher = "Springer",

}

Labelled Natural Deduction for Interval Logics. / Rasmussen, Thomas Marthedal.
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings: Lecture Notes in Computer Science, 2142. Springer, 2001. p. 308-323.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review