The algebraic semantics for the one-variable monadic fragment of the predicate logic \(\mathcal{G}\forall_{\sim}\)

In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic \({\cal G} \forall_{\sim}\) defined by F. Esteva, L. Godo, P. Hájek and M. Navara in Residuated fuzzy logics with an involutive negation, Archive for Mathematical Logic 3...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2024-11
Main Authors: Castaño, Diego, Castaño, Valeria, José Patricio Díaz Varela, Marcela Muñoz Santis
Format: Article
Language:English
Subjects:
Algebra
Equivalence
Fuzzy logic
Mathematical logic
Operators (mathematics)
Predicate logic
Semantics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic \({\cal G} \forall_{\sim}\) 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 \(\mathbb{MG}_{\sim}\) as a certain class of G\"odel 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 \(\mathbb{CMG}_{\sim}\) of \(\mathbb{MG}_\sim\) is exactly the desired equivalent algebraic semantics; this is done via a functional representation of finite subdirectly irreducible algebras.
ISSN:2331-8422