Work

Monadic Pseudocomplemented Distributive Lattices

Year: 2025

Type: article

Abstract: In this paper, we study the variety of pseudocomplemented distributive lattices with existential and universal quantifiers, called monadic pseudocomplemented distributive lattices. We introduce the variety of monadic KANalgebras, which turns out to be different from the class studied in [Gomez C., Marcos M., San Martín H.J.: On the relation of negations in Nelson algebras. Rep. Math. Logic 56 (2021), 15–56], and prove that the category of monadic pseudocomplemented distributive lattices is equivalent to the category of centered monadic KAN-algebras, extending the results given in [Calomino I., Pelaitay G.: A new categorical equivalence for Stone algebras. Accepted in Mathematica Slovaca (2025)]

Source: Conicet

Authors: Calomino, Ismael, Lewis Smith, Andrew, Pelaitay, Gustavo Andrés

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7128747469

FWCI:

Cites:

Cited by:

Related to: