Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

Algebraic structures underpin diverse areas of mathematics, offering a framework to systematically examine symmetry, operations, and invariance through entities such as groups, rings, and algebras.

How can the behavior of elementary particles and the structure of the entire universe be described using the same mathematical concepts? This question is at the heart of the recent work by ...

This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications—CaCNAS: FA 2021, ...

Introduction, Statements, and Notation, Connectives, Well-formed formulas, Tautology, Duality law, Equivalence, Implication, Normal Forms, Functionally complete set of connectives, Inference Theory of ...

How can the behavior of elementary particles and the structure of the entire universe be described using the same mathematical concepts? This question is at the heart of recent work by the ...

#check (add_assoc : ∀ a b c : R, a + b + c = a + (b + c)) #check (add_comm : ∀ a b : R, a + b = b + a) #check (zero_add : ∀ a : R, 0 + a = a) #check (neg_add ...

If you are interested in the real-world applications of numbers, discrete mathematics may be the concentration for you. Because discrete mathematics is the language of computing, it complements the ...