The Structure of Residuated Lattices
Offered By: Schmid College, Chapman University via YouTube
Course Description
Overview
Explore the intricacies of residuated lattices in this comprehensive seminar presented by Peter Jipsen, Ph.D., as part of the Orange County Inland Empire (OCIE) Seminar series in History and Philosophy of Mathematics. Delve into a brief yet informative introduction to the structural developments of residuated lattices over the past 25 years, tailored for graduate students in Philosophy and Physics. Begin with motivating examples related to groups, relation algebras, and Heyting algebras before progressing to structural results concerning MV-algebras, generalized BL-algebras, and Kripke frames for residuated lattices. The presentation may also cover recent work on the structure of locally integral involutive residuated lattices, conducted in collaboration with Melissa Sugimoto and José Gil-Férez.
Syllabus
The Structure of Residuated Lattices (with Peter Jipsen, Professor of Mathematics)
Taught by
Schmid College, Chapman University
Related Courses
Introduction to LogicStanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX