2024/11/17 by Diego Castaño, Valeria Castaño, Castaño, Diego +5
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2411.11097
openalex publication_date 2024/11/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic \cal G ∀∼ defined by F. Esteva, L. Godo, P. Hájek and M. Navara in Residuated fuzzy logics with an involutive negation, Archive for Mathematical Logic 39 (2000). To this end, we first introduce the variety \mathbbMG∼ as a certain class of Gödel algebras endowed with two monadic operators and a De Morgan negation. We study its basic properties, determine its subdirectly irreducible members and prove that this variety has the finite embeddabilty property. In particular, we prove that a special subvariety \mathbbCMG∼ of \mathbbMG_∼ is exactly the desired equivalent algebraic semantics; this is done via a functional representation of finite subdirectly irreducible algebras.