Denver,
CO,
United States
Type
Private
Degrees offered
Bachelor's Degree
Mathematics relies on a structured framework involving logical principles and set theory axioms. Research into mathematical foundations examines this framework and explores potential alternatives. Algebraic logic provides algebraic representations of models suitable for analyzing different logical systems, with the relationship between propositional calculus and Boolean algebras serving as a classic illustration.
Our focus lies on residuated lattices (encompassing Boolean algebras, Heyting algebras, and MV-algebras, among others) and their associated logical systems. Additionally, we investigate decidability and proof characteristics within substructural logics—those that omit certain conventional structural rules.