
Sign up to save your podcasts
Or
In this episode, I talk through a small (but intricate) example from a paper titled "Pre-logical relations" by Honsell and Sannella, showing that the set of logical relations is not closed under composition. That is, you can have a logical relation between structure A and structure B, and one between B and C, but the composition (while a relation) is not a logical relation between A and C. This took me three takes to get to where I wasn't tripping over my tongue, so enjoy.
5
1717 ratings
In this episode, I talk through a small (but intricate) example from a paper titled "Pre-logical relations" by Honsell and Sannella, showing that the set of logical relations is not closed under composition. That is, you can have a logical relation between structure A and structure B, and one between B and C, but the composition (while a relation) is not a logical relation between A and C. This took me three takes to get to where I wasn't tripping over my tongue, so enjoy.
272 Listeners
90,584 Listeners
30,962 Listeners
109 Listeners
4,130 Listeners
31 Listeners
15,313 Listeners
34 Listeners
11 Listeners
10,294 Listeners
3,096 Listeners
47 Listeners
21 Listeners