Logic Courses
Deep Teaching Solutions via Coursera Introduction to Propositional Logic for AI
Neuro Symbolic via YouTube Beyond Truth and Falsehood - Logic as a Calculus of Events in AI
UCLA Automated Reasoning Group via YouTube Logic for Explainable AI - Tutorial
UCLA Automated Reasoning Group via YouTube Queering Consequence: A Framework for Liberatory Logics
Schmid College, Chapman University via YouTube From HoTT to HOTT - Exploring Homotopy Type Theory
Schmid College, Chapman University via YouTube Is Philosophy Useful for Mathematics, and/or Vice Versa?
Schmid College, Chapman University via YouTube Toward Formalizing Scientific Theories and Models Using Categorical Logic
Schmid College, Chapman University via YouTube Boole's Philosophy of Algebra and its Reception
Schmid College, Chapman University via YouTube Definition and Content in Frege's Logic - OCIE Seminar
Schmid College, Chapman University via YouTube