Giovedì, 2 Febbraio, 2023 - 16:00
Il giorno 2 febbraio 2023 alle ore 16:00, nell'aula 15 del S.Niccolò, il Prof. Guillermo Badia (University of Queensland) terra' il seguente seminario:
“A Parameterised Axiomatization for a Large Number of Restricted Second-Order Logics”
Abstract: By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly complete axiomatization for several systems of this kind having the range of the predicate variables as a parameter. The completeness argument uses simple techniques from the theory of Boolean algebras.