Algebra and Logic

NOVA Math > Research Groups > Algebra and Logic

About

The group focuses on various interconnected areas within Algebra and Logic. These areas include the investigation of structural and combinatorial properties of transformation semigroups, Young tableaux, crystals, automata algebra, semigroups, combinatorics on words, Ramsey theory, graph decomposition, and Turán functions. We also study linear and multilinear algebra, algebraic, differential, and non-commutative geometry, mathematical logic, ordered algebraic structures, and finite fields. Additionally, the group is interested in utilizing computational tools to develop experimental mathematics, aiming to gain fresh insights into the diverse realms of our research.

Team

Publications

Motivic Atiyah-Segal Completion Theorem
2024, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G;van den Bergh,M
On the monoid of partial isometries of a wheel graph
2024, ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, Fernandes,VH
On the term rank partitions of matrices in A(R, S)
2024, LINEAR & MULTILINEAR ALGEBRA, Duffner,MA;Fernandes,R
On Three Submonoids of the Dihedral Inverse Monoid on a Finite Set
2024, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
Paradoxes, Intuitionism, and Proof-Theoretic Semantics
2024, Outstanding Contributions to Logic, Kahle,R;Santos,PG
SUBSETS OF GROUPS IN PUBLIC-KEY CRYPTOGRAPHY
2024, ADVANCES IN MATHEMATICS OF COMMUNICATIONS, Carvalho,A;Malheiro,A
A new perspective on completeness and finitist consistency
2023, JOURNAL OF LOGIC AND COMPUTATION, Santos,PG;Sieg,W;Kahle,R
A survey on varieties generated by small semigroups and a companion website
2023, JOURNAL OF ALGEBRA, Araujo,J;Araujo,JP;Cameron,PJ;Lee,EWH;Raminhos,J
Die philosophische Bedeutung des Gödel-Universums
2023, On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit, Kahle,R
Disjunctive sums of quasi-nimbers
2023, THEORETICAL COMPUTER SCIENCE, Silva,A;dos Santos,CP;Neto,JP;Nowakowski,RJ

Projects

Cohomology and extensions of inverse and restriction semigroups
No funding, Mykola Khrypchenko
Finitary incidence algebras and their generalized derivations
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brazil), Mykola Khrypchenko
Generalized Derivations of Non-associative Algebras
FAPESP - Fundação de Amparo à Pesquisa do Estado de São Paulo (Brazil), Mykola Khrypchenko
Generalized Derivations of Incidence Algebras
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brazil), Mykola Khrypchenko
Incidence Algebras
Fundação Araucária (Brazil), Mykola Khrypchenko
SemiComb - Semigroups: Conjugacy, Computation, Crystals and Combinatorics
FCT - Fundação para a Ciência e a Tecnologia, I.P., João Araújo, Tara Brough, Alan J. Cain, Ana Casimiro,...
Partial Actions, Restriction Semigroups and Monoidal Categories
No funding, Mykola Khrypchenko
Paul Bernays’ Philosophy of Mathematics
Swiss National Science Foundation (Switzerland), Reinhard Kahle
Hilbert's 24th Problem
FCT - Fundação para a Ciência e a Tecnologia, I.P., Reinhard Kahle, Alan James Cain, António José Mesquita...
"Research in Pairs" small grant
London Mathematical Society (United Kingdom), Alan J. Cain

Software

  •  
    • the kernel of a Theorem Prover interface: ProverX (under construction)
    • a package to find Forbidden Structure Conjectures: Forbidden Theorems
    • a package to find a base of identities for the variety of semigroups it generates: Semigroup Varieties
    • a package to translate proofs from Prover9 to other Automated Theorem Provers: Translator
    • a package to humanize proofs from Prover9: XPlain
    • to test if an identity is satisfied, given a set of semistandard tableaux