Algebraic Logic
Algebraic logic research studies algebraic descriptions of models appropriate for the study of various logics.
The classical example is the equivalence of propositional calculus and Boolean algebras. We are interested in residuated lattices including Boolean algebra, Heyting algebra and MV-algebra and the corresponding logic. We also study decidability and the properties of proofs in substructural logics, i.e., types of logic that lack one of the usual structural rules.
