Travelled to:1 × Italy
1 × Poland
Collaborated with:R.Goré J.Brotherston N.Dershowitz R.Clouston A.Tiu
Talks about:theorem (2) calculi (2) logic (2) intuitionist (1) substructur (1) interpol (1) sequent (1) general (1) display (1) termin (1)
Person: Jeremy E. Dawson
DBLP: Dawson:Jeremy_E=
Contributed to:
20132004
20162018Wrote 4 papers:
- CSL-2013-CloustonDGT #calculus #linear #logic
- Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.
- CSL-2004-DawsonG #termination #theorem
- A General Theorem on Termination of Rewriting (JED, RG), pp. 100–114.
- IJCAR-2016-DawsonBG #calculus #logic #theorem #using
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (JED, JB, RG), pp. 452–468.
- IJCAR-2018-DawsonDG
- Well-Founded Unions (JED, ND, RG), pp. 117–133.