2 papers
math.LO2016
Espaços pseudo-topológicos e descrições do conceito de plausível
Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa
The structure of almost topological space is a variation of the concept of topological space. It emerged as a formalization of a quantifier first order not definable from the usual…
math.LO2016
Um modelo algébrico do quantificador da Ubiquidade
Tiago Augusto dos Santos Boza, Hércules de Araujo Feitosa
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 formali…