6 citations · 12 across the 8 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…
On superrings of polynomials and algebraically closed multifields
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
The concept of multialgebraic structure -- an "algebraic like" structure but endowed with multiple valued operations -- has been studied since the 1930's; in particular, the concep…
Promiscuously Quadratic Rings
Kaique Matias de Andrade Roberto, Hugo Rafael Ribeiro, Hugo Luiz Mariano
We consider a convenient category of "quadratic" multirings, that allows simple functorial relations with categories associated with abstract quadratic forms theories and shares ma…
Functorial relationship between multirings and the various abstract theories of quadratic forms
Hugo Rafael de Oliveira Ribeiro, Kaique Matias de Andrade Roberto, Hugo Luiz Mariano
We provide, explicitly, equivalences and dual equivalences between categories of abstract quadratic forms theories and subcategories of multifields and multirings, that will bring…