Espa\c{c}os pseudo-topol\'ogicos e descri\c{c}\~oes do conceito de plaus\'ivel

TL;DR

This paper explores the concept of almost topological spaces and introduces a propositional logic version using tableaux, formalizing the notion of plausibility in logical systems.

Contribution

It presents the formalization of almost topological spaces and introduces a novel propositional tableau-based logic for these structures.

Findings

Formalization of almost topological spaces

Development of a propositional tableau logic

Enhanced understanding of plausibility in logical systems

Abstract

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.