Tag: Algebra and Logic

NOVA Math > NOVA Math >

The algebraic and geometric classification of nilpotent terminal algebras

Algebra and Logic Article Kaygorodov,I;Khrypchenko,M;Popov,Y JOURNAL OF PURE AND APPLIED ALGEBRA 2021 225 6 106625 10.1016/j.jpaa.2020.106625

Read More

THE EXISTENTIAL TRANSVERSAL PROPERTY: A GENERALIZATION OF HOMOGENEITY AND ITS IMPACT ON SEMIGROUPS

Algebra and Logic Article Araujo,J;Bentz,W;Cameron,PJ TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY 2021 374 2 1155-1195 10.1090/tran/8285

Read More

The Intensional Structure of Epistemic Convictions

Algebra and Logic Proceedings Paper Kahle,R SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020 18th International Conference on Software Engineering and Formal Methods (SEFM) Lecture Notes in Computer Science 2021 12524 192-200 10.1007/978-3-030-67220-1_15

Read More

The maximum number of Parter vertices of acyclic matrices

Algebra and Logic Article Fonseca,A;Mestre,A;Mohammadian,A;Perdigao,C;Torres,MM DISCRETE MATHEMATICS 2021 344 2 10.1016/j.disc.2020.112198

Read More

The solution of an open problem on semigroup inclusion classes

Algebra and Logic Article Araujo,ML;Araujo,MT;Kinyon,M SEMIGROUP FORUM 2021 103 3 976-981 10.1007/s00233-021-10223-9

Read More

The Vagner-Preston Representation of a Block-Group

Algebra and Logic Article Fernandes,VH SOUTHEAST ASIAN BULLETIN OF MATHEMATICS 2021 45 6 805-812

Read More

VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY

Algebra and Logic Article Santos,PG;Kahle,R BULLETIN OF SYMBOLIC LOGIC 2021 27 4 337-350 10.1017/bsl.2021.68

Read More

“Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays

Algebra and Logic Book Chapter Kahle,R The Legacy of Kurt Schütte 2020 3-19 10.1007/978-3-030-49424-7_1

Read More

A language hierarchy of binary relations

Algebra and Logic Article Brough,T;Cain,AJ INFORMATION AND COMPUTATION 2020 275 10.1016/j.ic.2020.104607

Read More

Basis reduction for cryptogroups and orthogroups

Algebra and Logic Article Casimiro,A;Skapinakis,E SEMIGROUP FORUM 2020 101 3 779-785 10.1007/s00233-020-10124-3

Read More