Um modelo alg\'ebrico do quantificador da Ubiquidade
Logic
2016-03-25 v1
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.
Keywords
Cite
@article{arxiv.1603.07607,
title = {Um modelo alg\'ebrico do quantificador da Ubiquidade},
author = {Tiago Augusto dos Santos Boza and Hércules de Araujo Feitosa},
journal= {arXiv preprint arXiv:1603.07607},
year = {2016}
}
Comments
in Portuguese