AS&P - “Abstraction, Structures and Proofs” - N. Tennant, 28 July

[antpic...@gmail.com]

Dear all,

we remind you the fifth talk in our online seminar series titled “Abstraction, Structures and Proofs” (https://sites.google.com/view/wientuebingen/home-page). 


Neil Tennant (Ohio State University), Classical Core Logic with Single-Barreled Rules for the Abstraction Operators

We aim in this presentation to summarize the rules of inference of Classical Core Logic, and state the Cut Admissibility Result and the Relevance Theorem already proved for it. 
We then consider how best to extend Classical Core Logic to deal with identity, enabling direct formalization of substitutions of identicals as they occur in informally rigorous mathematical reasoning; and how to set the system free. 
We formulate free single-barreled rule-pairs for the definite description term-forming operator and the set-abstraction term-forming operator; and we formulate the reduction procedures that will be needed to establish the Cut Admissibility Theorem for the free extensions of Classical Core Logic that deal with identity and with the new operators governed by their single-barreled rules.
 

The talk is scheduled for 28 July at 18:00 Italy time (CEST) at the following link: https://univienna.zoom.us/j/63491318507?pwd=LiwUiH6ZimXbvnAsL3JG7MQPUIsw8e.1   

ID riunione: 634 9131 8507
Codice d’accesso: 153384

This seminar is part of a series of events jointly organised by the University of Wien (Ludovica Conti, Georg Schiemer) and the University of Tübingen (Antonio Piccolomini d'Aragona). Further details can be found on the project website, accessible via this link: https://sites.google.com/view/wientuebingen/home-page ) 

Hope to see you online soon! 

Best regards,

Antonio and Ludovica