Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Internal calculi for substructural logics via syntactic proofs of conservativity.";
Talk: Topology, Algebra, and Categories in Logic 2015 (TACL),
Ischia;
2015-06-21
- 2015-06-26.