Miguel Andrés Marcos

dblp:207/4891 · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
3since 2021 · last 2024
0009-0000-9764-4475ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 2 since 2021Theory of computation · 2 · 1 since 2021
YearPublicationVenuePosition
2024 Towards an Algebraic Theory of KD45-Like Logics
Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe
AiML3
2022 Varieties of K-lattices
Paolo Aglianò, Miguel Andrés Marcos
Fuzzy Sets Syst.2
2022 Varieties of bounded K-lattices
Paolo Aglianò, Miguel Andrés Marcos
Fuzzy Sets Syst.2
2019 Representation by triples of algebras with an MV-retract
Manuela Busaniche, Miguel Andrés Marcos, Sara Ugolini
Fuzzy Sets Syst.2
2017 On the category of Nelson paraconsistent lattices
abstract
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and a category of pairs of Brouwerian algebras and regular filters. Specializing such category of pairs to Gödel hoops, we get the subvariety of Gödel NPc-lattices and, using the dual equivalence of finite Gödel hoops with finite trees, we obtain a duality for finite Gödel NPc-lattices. This duality is used to describe finitely generated free Gödel NPc-lattices.
Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos
J. Log. Comput.4