Categorical abstract algebraic logic: behavioral -institutions

DOI10.1007/S11225-014-9553-4MaRDI QIDQ456973zbMATH OpenOpenAlexFDO

Publication date 26 September 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-014-9553-4

algebraic logic behavioral algebraizability behavioral categorical Leibniz hierarchy behavioral Leibniz congruence systems behavioral Leibniz hierarchy behavioral Leibniz operator multi-sorted \(\pi\)-institutions multi-sorted behavioral logic

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Categorical logic, topoi (03G30)

Review text

The author, essentially, defines the concept of an abstract \(\pi\)-institution in order to transfer notions and constructions of the theory of behavioral algebraizability to the categorial setting. Reviewer's remarks: On page 624, the author says: ``Given \(\Sigma\) [a many-sorted signature with set of sorts \(S\), we add] and a fixed indexed collection \(X = (X_{s})_{s\in S}\) of denumerable sets of variables, one for each sort, the set of all \(\Sigma\)-formulas with variables in \(X\) is denoted by \(\mathrm{Fm}_{\Sigma}(X) = (\mathrm{Fm}_{\Sigma,s}(X))_{s\in S}\). This is inaccurate because \(\mathrm{Fm}_{\Sigma}(X)\) is not a set but an \(S\)-sorted set, i.e., \(\mathrm{Fm}_{\Sigma}(X)\) is an object of the category \(\mathbf{Set}^{S}\), where \(S\) is the set of sorts. Afterwards, also on page 624, the author says: ``\dots where \(\vdash_{\mathcal{S}}\subseteq \mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\times \mathrm{Fm}_{\Sigma}(X)\) satisfies\dots. This is incorrect because \(\mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\) is a set, the set of all \(S\)-sorted sets \(Y\) such that, for every \(s\in S\), \(Y_{s}\subseteq \mathrm{Fm}_{\Sigma,s}(X)\) and \(\mathrm{Fm}_{\Sigma}(X)\) is an \(S\)-sorted set. Instead, the author should have written \(\vdash_{\mathcal{S}}\subseteq \mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\times \coprod\mathrm{Fm}_{\Sigma}(X)\) or, what is equivalent, \(\vdash_{\mathcal{S}}\subseteq \mathrm{Sub}(\coprod\mathrm{Fm}_{\Sigma}(X))\times \coprod\mathrm{Fm}_{\Sigma}(X)\), since \(\mathrm{Sub}(\coprod\mathrm{Fm}_{\Sigma}(X))\) is isomorphic to \(\mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\). On page 625, the author says: ``\(\mathrm{SEN}_{\Sigma}(X) = \mathrm{Fm}_{\Sigma}(X)\)\dots. This defines a functor \(\mathrm{SEN}_{\Sigma}:\mathbf{Sign}_{\Sigma}\rightarrow\mathbf{Set}\). This, once more, is inaccurate because \(\mathrm{Fm}_{\Sigma}(X)\) is an \(S\)-sorted set, but not a set. We point out that the definition of \(\mathrm{SEN}_{\Sigma}\) on the \(S\)-sorted set \(X\) should instead have been the following: \(\mathrm{SEN}_{\Sigma}(X) = \coprod\mathrm{Fm}_{\Sigma}(X)\). Afterwards, also on page 625, the author says: ``A sentence functor \(\mathrm{SEN}:\mathbf{Sig}\rightarrow\mathbf{Set}\) is said to be multi-sorted if there exists a set \(S\) of sorts and set-valued functors \(\mathrm{SEN}_{s}:\mathbf{Sig}\rightarrow\mathbf{Set}\), \(s\in S\), such that \(\mathrm{SEN} = \prod_{s\in S}\mathrm{SEN}_{s}\). If one adopts such a definition, then, regarding the institution \(\mathcal{I}_{\mathcal{S}}\), defined on page 625, the result would be that \(\mathrm{SEN}_{\Sigma}(X) = \prod_{s\in S}\mathrm{Fm}_{\Sigma,s}(X)\), but the intended result, really, is supposed to be or should be \(\mathrm{SEN} = \coprod_{s\in S}\mathrm{Fm}_{\Sigma,s}(X)\).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Categorical abstract algebraic logic: behavioral \(\pi\)-institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456973)