Um modelo alg\'ebrico do quantificador da Ubiquidade

TL;DR

This paper develops an algebraic model for the quantifier of ubiquity within modular logic, extending existing models to better formalize this concept in algebraic terms.

Contribution

It introduces an algebraic model for the ubiquity quantifier, building upon Halmos's approach to classical quantifiers in algebraic models.

Findings

Extended algebraic models to include the quantifier of ubiquity

Formalized the concept of ubiquity in modular logic

Provided a theoretical framework for future research

Abstract

The aim of this article is a deepening of quantification notions in the aspect of the modular logic. Therefore, it approaches modulated logic of the plausible that seeks to formalize the quantifier of ubiquity. The text presents a proposal, introduced by Paul Halmos, to interpret a classical quantifier in algebraic models and as a original contribution, extends this model to an algebraic model for the quantifier of ubiquity.