2 citations · 6 across the 7 of their papers we have counts for
9 papers
Decoupling Evidence Sources in Paraconsistent Logic: A Generalized PAL2v Framework for Educational Assessment
Arthur Nakamura, David Drummond, Welbert Pereira +2
Paraconsistent Annotated Logic with two values (PAL2v) annotates a proposition with a pair of degrees of favorable and unfavorable evidence, drawn from a bilattice whose fo…
Inductive graded rings, hyperfields and quadratic forms
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
The goal of this work is twofold: (i) to provide a detailed analysis of some categories of inductive graded ring - a concept introduced in [DM98] in order to provide a solution of…
Linear Systems, Matrices and Vector Spaces over Superfields
Kaique Matias de Andrade Roberto, Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano +1
Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialg…
The general Arason-Pfister Hauptsatz
Kaique Matias de Andrade Roberto, Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano
In the present we develop a fragment of the theory of superfields, polynomials and Marshall's quotient in order to obtain for general special groups, a proof of the Arason-Pfister…
On algebraic extensions and algebraic closures of superfields
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano, Hugo Rafael de Oliveira Ribeiro
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfie…
The Category of Hypergroups: seeking for a generalized version of Abelian Categories
Kaique Matias de Andrade Roberto, Ana Luiza Tenório
In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. O…