Logic and Foundations Group


The Logic and Foundations group in the Department of Mathematical Sciences conducts research in the application of algebraic and topological structures to logic and foundational issues.

John Harding

Probability, stochastic processes and connections with analysis.

Andre Kornell

Calculus of Variation, Nonlinear Analysis

Joel Lucero-Bryan

Harmonic Analysis: time-frequency analysis, wavelets, information theory and applications to signal processing, discrete dynamical systems.

Ilya Shapirovskiy

Functional analysis, operator algebra and operator theory related to self-similar actions and semigroups.

Pat Morandi

Probability, stochastic processes and connections with analysis.

At nearby labs and government facilities: Tim Hannan, Alex Pogel.

News

 

Current Research Topics

  • Ordered algebraic structures, lattices with operators, and their applications to logic
  • Topological and order-topological models of non-classical logics, algebraic aspects of fuzzy logic
  • Orthomodular structures and quantum logic, intuituionistic and modal logics

For more details, see our homepages at John, Pat, Ilya, or our researchgate pages at John, Pat, Ilya.

 

For Prospective Graduate Students

We offer a good range of graduate courses in areas of foundations including courses:

Special topics classes are also offered. Foundations is one of the course sequences for our PhD comprehensive exam. We continue to have a fine group of Master’s and PhD students working in various areas of foundations.

 

Events and Associations

 

Points of Contact

J. Harding, I. Shapirovskiy.

 

Participating Students

Current PhD Students
Gutierrez-Hougardy, Uzias
He, Jianfeng
Khan, Mashiath
Sliusarev, Vladislav
Current Master's Students
None
Recent Graduates
Melzer, Sebastian: Doctorate of Philosophy
Peinado Portillo, Miguel: Doctorate of Philosophy
Raviprakash, Ranjitha: Doctorate of Philosophy
West, Jackson: Master's Degree