A parametrised axiomatization for a large number of restricted second-order logics (Guillermo Badia)

The Logic and Metaphysics Workshop will meet on October 17th from 4:15-6:15 (NY time) via Zoom for a talk by Guillermo Badia (Queensland).

Title: A parametrised 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. The full paper is here: https://arxiv.org/abs/2207.02709.

Note: ThisĀ isĀ joint work with John Lane Bell.

Leave a Reply

Your email address will not be published.

css.php
Need help with the Commons? Visit our
help page
Send us a message