arXiv subjects
Publications and source records attributed to Hércules de Araujo Feitosa.
This article aims to present a neighborhood semantic for a modal logic, namely, propositional logic of the plausible. As a subnormal character modal logic, not admits a Kripke semantics. However, the authors show that this neighborhood semantic, reach a relational semantics for propositional logic of the plausible.
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.
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 existential and universal operators, named the quantifier of the plausible. Later, it sought a formalization in propositional logical context, given a deductive and axiomatic system with algebraic model. We will present these formal conceptions and as an original contribution, we describe the propositional version of the logic of almost topological spaces in tableaux.