Travelled to:1 × France
1 × Spain
Collaborated with:∅
Talks about:interv (2) logic (2) deduct (1) natur (1) label (1) sign (1)
Person: Thomas Marthedal Rasmussen
DBLP: Rasmussen:Thomas_Marthedal
Contributed to:
20011999Wrote 2 papers:
- CSL-2001-Rasmussen #deduction #logic
- Labelled Natural Deduction for Interval Logics (TMR), pp. 308–323.
- CSL-1999-Rasmussen #logic
- Signed Interval Logic (TMR), pp. 157–171.