Abstract

In this paper we continue the investigation carried out in Albuquerque et al. (2018) on assertional logics and their relation with the Frege hierarchy, through the notions of relative point-regularity and relative congruence orderability. We provide new characterizations for the classes of logics within the Frege hierarchy under the underlying assumption of assertionality. In particular, an assertional logic S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {S}}$$\end{document} is fully Fregean if and only if the class AlgS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsf{Alg}}{\mathcal {S}}$$\end{document} is congruence orderable. Moreover, an assertional logic S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {S}}$$\end{document} is protoalgebraic if and only the class AlgS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsf{Alg}}{\mathcal {S}}$$\end{document} is point-regular. Finally, we introduce a new notion of relative strong congruence orderability and prove that the class AlgS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsf{Alg}}{\mathcal {S}}$$\end{document} satisfies this property if and only if the intrinsic variety V(S)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {V}({\mathcal {S}})$$\end{document} is congruence orderable. As a consequence, we prove a sufficient condition for the variety problem in AAL.