This volume contains the proceedings of the 18thInternational Symposium on Mathematical Foundatio...