arXiv subjects

Tiago Augusto dos Santos Boza

Publications and source records attributed to Tiago Augusto dos Santos Boza.

4 recordsLinked to original sources

arXiv2025

Space-Dependent Fractional Evolution Equations: A New Approach

Inspired by the works of \cite{baz2} and \cite{kian}, this study develops an abstract framework for analyzing differential equations with space-dependent fractional time derivatives and bounded operators. Within this framework, we establish existence and uniqueness results for solutions in both linear and semilinear settings. Our findings provide deeper insights into how spatially varying fractional derivatives influence the behavior of differential equations, shedding light on their mathematical properties and potential applications.

math.AP↗

arXiv2016

Semântica relacional para a lógica proposicional do plausível

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.

math.LO↗

arXiv2016

Um modelo algébrico do quantificador da Ubiquidade

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.

math.LO↗

arXiv2016

Espaços pseudo-topológicos e descrições do conceito de plausível

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.

math.LO↗