53:18LUW 2021.10: Yale Weiss - A Reinterpretation of the Semilattice Semantics with Applications
Advanced
A 53-minute video from Universal Logic Project: “LUW 2021.10: Yale Weiss - A Reinterpretation of the Semilattice Semantics with Applications”.
Universal Logic Project
291 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
53:18
1:41:15LUW 2021.11: Tin Perkov - Logical constants in abstract frameworks and A Note on Logicality of...
Advanced
A 101-minute video from Universal Logic Project: “LUW 2021.11: Tin Perkov - Logical constants in abstract frameworks and A Note on Logicality of...”.
1:15:11LUW 2021.12: J. Rasga and C. Sernadas - Decidability of Logical Theories and Their Combination
Advanced
A 75-minute video from Universal Logic Project: “LUW 2021.12: J. Rasga and C. Sernadas - Decidability of Logical Theories and Their Combination”.
1:10:09LUW 2021.13: Josué Antonio Nescolarde Selva - Mathematical Perspectives on Liar Paradoxes
Advanced
A 70-minute video from Universal Logic Project: “LUW 2021.13: Josué Antonio Nescolarde Selva - Mathematical Perspectives on Liar Paradoxes”.
58:56LUW 2021.14 - Paulo Guilherme Santos and Reinhard Kahle - k-Provability in PA
Advanced
A 59-minute video from Universal Logic Project: “LUW 2021.14 - Paulo Guilherme Santos and Reinhard Kahle - k-Provability in PA”.
52:56LUW 2021.16 - Michael Kaminski and Nissim Francez - Calculi for Many-Valued Logics
Advanced
A 53-minute video from Universal Logic Project: “LUW 2021.16 - Michael Kaminski and Nissim Francez - Calculi for Many-Valued Logics”.
1:09:31LUW 2021.17 - Yaroslav Petrukhin and Vasilyi Shangin - Correspondence Analysis for Some Fragments...
A 70-minute video from Universal Logic Project: “LUW 2021.17 - Yaroslav Petrukhin and Vasilyi Shangin - Correspondence Analysis for Some Fragments...”.
1:13:49LUW 2021.18 - John Grant - Measuring Inconsistency in Generalized Propositional Logic
Advanced
A 74-minute video from Universal Logic Project: “LUW 2021.18 - John Grant - Measuring Inconsistency in Generalized Propositional Logic”.
1:22:30LUW 2021.19 - Scott Pratt - Decolonizing “Natural Logic”
Advanced
A 82-minute video from Universal Logic Project: “LUW 2021.19 - Scott Pratt - Decolonizing “Natural Logic””.
54:07LUW 2021.1: Tore Fjetland Øgaard – Farewell to Suppression-Freedom
Advanced
A 54-minute video from Universal Logic Project: “LUW 2021.1: Tore Fjetland Øgaard – Farewell to Suppression-Freedom”.
1:47:51LUW 2021.3: Stephen Read - Swyneshed, Aristotle and the Rule of Contradictory Pairs
Advanced
A 108-minute video from Universal Logic Project: “LUW 2021.3: Stephen Read - Swyneshed, Aristotle and the Rule of Contradictory Pairs”.
1:38:02LUW 2021.4: Petra Murinová - Graded Structures of Opposition in Fuzzy Natural Logic
A 98-minute video from Universal Logic Project: “LUW 2021.4: Petra Murinová - Graded Structures of Opposition in Fuzzy Natural Logic”.
1:38:11LUW 2021.5: Frank Sautter - A Bunch of Diagrammatic Methods for Syllogistic
Advanced
A 98-minute video from Universal Logic Project: “LUW 2021.5: Frank Sautter - A Bunch of Diagrammatic Methods for Syllogistic”.
1:27:45LUW 2021.6: Andrzej Indrzejczak - Sequents and Trees
Advanced
A 88-minute video from Universal Logic Project: “LUW 2021.6: Andrzej Indrzejczak - Sequents and Trees”.
1:33:13LUW 2021.7: Dov Gabbay and Timotheus Kampik - The Talmudic Logic Project
Advanced
A 93-minute video from Universal Logic Project: “LUW 2021.7: Dov Gabbay and Timotheus Kampik - The Talmudic Logic Project”.
1:31:12LUW 2021.8: Laura Follesa - From Necessary Truths to Feelings
Advanced
A 91-minute video from Universal Logic Project: “LUW 2021.8: Laura Follesa - From Necessary Truths to Feelings”.
1:29:55LUW 2021.9: Reetu Bhattacharjee - A Venn Diagram System for Universe Without Boundary
Advanced
A 90-minute video from Universal Logic Project: “LUW 2021.9: Reetu Bhattacharjee - A Venn Diagram System for Universe Without Boundary”.
1:26:08LUW 2022.10: Anne-Françoise Schmid - The Place and Value of Logic in Louis Couturat’s...
A 86-minute video from Universal Logic Project: “LUW 2022.10: Anne-Françoise Schmid - The Place and Value of Logic in Louis Couturat’s...”.
50:21LUW 2022.11: Stepan I. Bashmakov - Unification in Pretabular Extensions of S4
Advanced
A 50-minute video from Universal Logic Project: “LUW 2022.11: Stepan I. Bashmakov - Unification in Pretabular Extensions of S4”.
1:11:13LUW 2022.12: Mateusz Klonowski - Axiomatization of Some Basic and Modal Boolean Connexive Logics
Advanced
A 71-minute video from Universal Logic Project: “LUW 2022.12: Mateusz Klonowski - Axiomatization of Some Basic and Modal Boolean Connexive Logics”.
1:15:23LUW 2022.13: Norihiro Kamide - An Extended Paradefinite Logic Combining Conflation,...
Advanced
A 75-minute video from Universal Logic Project: “LUW 2022.13: Norihiro Kamide - An Extended Paradefinite Logic Combining Conflation,...”.
1:18:05LUW 2022.14: Kenji Tokuo - Natural Deduction for Quantum Logic
Advanced
A 78-minute video from Universal Logic Project: “LUW 2022.14: Kenji Tokuo - Natural Deduction for Quantum Logic”.
1:07:44LUW 2022.15: David Makinson - Frege’s Ontological Diagram Completed
A 68-minute video from Universal Logic Project: “LUW 2022.15: David Makinson - Frege’s Ontological Diagram Completed”.
54:35LUW 2022.16: Tin Adlešic - A Modern Rigorous Approach to Stratification in NF/NFU
Advanced
A 55-minute video from Universal Logic Project: “LUW 2022.16: Tin Adlešic - A Modern Rigorous Approach to Stratification in NF/NFU”.
1:54:28LUW 2022.1: Antonino Drago - An Intuitionist Reasoning Upon Formal Intuitionist Logic
Advanced
A 114-minute video from Universal Logic Project: “LUW 2022.1: Antonino Drago - An Intuitionist Reasoning Upon Formal Intuitionist Logic”.
1:17:14LUW 2022.2: Alexandre Costa-Leite - Paraconsistent Orbits of Logics
Advanced
A 77-minute video from Universal Logic Project: “LUW 2022.2: Alexandre Costa-Leite - Paraconsistent Orbits of Logics”.
1:40:05LUW 2022.4: Eunsuk Yang - Implicational Tonoid Logics and Implicational Partial Galois Logics
Advanced
A 100-minute video from Universal Logic Project: “LUW 2022.4: Eunsuk Yang - Implicational Tonoid Logics and Implicational Partial Galois Logics”.
1:38:13LUW 2022.5: Andrew Schumann - On the Origin of Logical Determinism in Babylonia
Advanced
A 98-minute video from Universal Logic Project: “LUW 2022.5: Andrew Schumann - On the Origin of Logical Determinism in Babylonia”.
37:59LUW 2022.6: Nate Ackermann - Encoding Complete Metric Structures by Classical Structures
Advanced
A 38-minute video from Universal Logic Project: “LUW 2022.6: Nate Ackermann - Encoding Complete Metric Structures by Classical Structures”.
2:03:11LUW 2022.7: Alexei Muravitsky - On Nonmonotonic Consequence Relations
Advanced
A 123-minute video from Universal Logic Project: “LUW 2022.7: Alexei Muravitsky - On Nonmonotonic Consequence Relations”.
1:42:50LUW 2022.8: Roland Bolz - Logical Diagrams, Visualization Criteria and Boolean Algebras
Advanced
A 103-minute video from Universal Logic Project: “LUW 2022.8: Roland Bolz - Logical Diagrams, Visualization Criteria and Boolean Algebras”.
1:40:53LUW 2022.9: Ciro Russo - Coproduct and Amalgamation of Deductive Systems by...
Advanced
A 101-minute video from Universal Logic Project: “LUW 2022.9: Ciro Russo - Coproduct and Amalgamation of Deductive Systems by...”.