A parametrised axiomatization for a large number of restricted second-order logics
From MaRDI portal
(Redirected from Publication:6404172)
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.
This page was built for publication: A parametrised axiomatization for a large number of restricted second-order logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6404172)
