Erné, Marcel; Picado, Jorge; Pultr, Aleš Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004 Algebra Univers. 83, No. 2, Paper No. 13, 23 p. (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 06D20 06A15 06D22 18B35 18F70 54C05 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Celani, Sergio A.; Montangie, Daniela Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic. (English) Zbl 1437.03085 Soft Comput. 24, No. 2, 813-823 (2020). MSC: 03B45 03B20 03G25 06D20 × Cite Format Result Cite Review PDF Full Text: DOI