Gyssens, Marc; Hellings, Jelle; Paredaens, Jan; Van Gucht, Dirk; Wijsen, Jef; Wu, Yuqing Calculi for symmetric queries. (English) Zbl 1423.68139 J. Comput. Syst. Sci. 105, 54-86 (2019). MSC: 68P15 03B70 68P05 PDFBibTeX XMLCite \textit{M. Gyssens} et al., J. Comput. Syst. Sci. 105, 54--86 (2019; Zbl 1423.68139) Full Text: DOI Link
González, Luciano J. A relational semantics for the logic of bounded lattices. (English) Zbl 1467.03033 Math. Bohem. 144, No. 3, 225-240 (2019). Reviewer: Ciro Russo (Salvador) MSC: 03G10 03G27 06B15 PDFBibTeX XMLCite \textit{L. J. González}, Math. Bohem. 144, No. 3, 225--240 (2019; Zbl 1467.03033) Full Text: DOI