COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Category Theory Seminar > Synthesis of Second-Order Equational Logic

## Synthesis of Second-Order Equational LogicAdd to your list(s) Download to your calendar using vCal - Marcelo Fiore (University of Cambridge)
- Tuesday 28 October 2008, 14:15-15:45
- MR9, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Richard Garner. I will present a mathematical methodology for the synthesis of equational deduction systems that are sound and internally complete for a canonical algebraic model theory; see [1]. As a running example, I will indicate how the methodology applies to rationally reconstruct the traditional equational logic of universal algebra from categorical principles; see [3 (Part I)]. As for a modern application, I will use the methodology to synthesise a second-order equational logic for specifying simple type theories; see [2 (Part I)] and [3 (Part II)]. This is joint work with Chung-Kil Hur. References [1] Marcelo Fiore and Chung-Kil Hur. [2] Marcelo Fiore. [3] Marcelo Fiore. This talk is part of the Category Theory Seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- Hanchen DaDaDash
- Interested Talks
- MR9, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsCambridge University Behavioural Economics Society Palestinians in Israel: Segregation, Discrimination and Democracy Health and Welfare Reading Group## Other talksMigration in Science Identification of Active Species and Mechanistic Pathways in the Enantioselective Catalysis with 3d Transition Metal Pincer Complexes What sort of challenge is climate change? Fifty years of editorialising in ‘Nature’ and ‘Science’ Part Ib Group Project Presentations Women's Staff Network: Career Conversations “Soap cost a dollar”: Jostling with minds in economic contexts Symplectic topology of K3 surfaces via mirror symmetry The role of myosin VI in connexin 43 gap junction accretion The Gopakumar-Vafa conjecture for symplectic manifolds An approach to the four colour theorem via Donaldson- Floer theory Political Thought, Time and History: An International Conference |