Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks
Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks
Torben Braüner (Roskilde) gives a talk at the MCMP Colloquium (17 January, 2013) titled "Hybrid-Logical Proof Theory: Wi... Read more
18 Apr 2019
•
On flattening rules in natural deduction calculus for intuitionistic propositional logic
On flattening rules in natural deduction calculus for intuitionistic propositional logic
Grigory K. Olkhovikov (Ural Federal University Yekaterinburg) gives a talk at the MCMP Colloquium (25 April, 2013) title... Read more
18 Apr 2019
•
Similar Podcasts
MCMP – Epistemology
MCMP – Philosophy of Mathematics
MCMP – Metaphysics and Philosophy of Language
MCMP – Mathematical Philosophy (Archive 2011/12)
MCMP – Philosophy of Science
MCMP
MCMP – Philosophy of Physics
Mathematical, Foundational and Computational Aspects of the Higher Infinite
Hegel lectures by Robert Brandom, LMU Munich
Cambridge Pragmatism: A Research Workshop
The Problems of Philosophy: Then & Now
Critical Reasoning: A Romp Through the Foothills of Logic
Philosophy at the School of Advanced Study
PHIL 311 - Intro to Logic
The Convergence of Logic, Mathematics and Computer Science - Lectures
Semantic games and hypersequents: a case study in many valued reasoning
Semantic games and hypersequents: a case study in many valued reasoning
Chris Fermüller (Vienna) gives a talk at the MCMP Colloquium (2 May, 2013) titled "Semantic games and hypersequents: a c... Read more
18 Apr 2019
•
Modus Ponens on the Restrictor View
Modus Ponens on the Restrictor View
Moritz Schulz (Barcelona) gives a talk at the MCMP Colloquium (7 February, 2013) titled "Modus Ponens on the Restrictor ... Read more
18 Apr 2019
•
Most Popular Podcasts
The Joe Rogan Experience
TED Talks Daily
The Tim Ferriss Show
The Daily
Stuff You Should Know
Oprah's SuperSoul Conversations
Armchair Expert with Dax Shepard
From Logic to Behavior
From Logic to Behavior
Jakub Szymanik (Amsterdam) gives a talk at the MCMP Colloquium (12 June, 2013) titled "From Logic to Behavior". Abstract... Read more
18 Apr 2019
•
Interpretational Logical Truth: The Problem of Admissible Interpretations
Interpretational Logical Truth: The Problem of Admissible Interpretations
Alexandra Zinke (Konstanz) gives a talk at the MCMP Colloquium (24 January, 2013) titled "Interpretational Logical Truth... Read more
18 Apr 2019
•
Transitory and Permanent Applications of Paraconsistency
Transitory and Permanent Applications of Paraconsistency
Diderik Batens (Ghent) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June... Read more
18 Apr 2019
•
A plea for beta-reduction by value
A plea for beta-reduction by value
Marie Duzi (Technical University Ostrava) gives a talk at the MCMP Colloquium (15 May, 2014) titled "A plea for beta-red... Read more
18 Apr 2019
•
Why designate gluts?
Why designate gluts?
Andreas Kapsner (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 ... Read more
18 Apr 2019
•
Inconsistent Thinking, Fast and Slow
Inconsistent Thinking, Fast and Slow
Francesco Berto (Amsterdam) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13... Read more
18 Apr 2019
•
