Labelled Natural Deduction for Interval Logics

Thomas Marthedal Rasmussen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationComputer 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
    Publication date2001
    Publication statusPublished - 2001

    Cite this