MCMP – Logic

On flattening rules in natural deduction calculus for intuitionistic propositional logic


Listen Later

Grigory K. Olkhovikov (Ural Federal University Yekaterinburg) gives a talk at the MCMP Colloquium (25 April, 2013) titled "On flattening rules in natural deduction calculus for intuitionistic propositional logic". Abstract: Standard versions of natural deduction calculi consist of so called ‘flat’ rules that either discharge some formulas as their assumptions or discharge no assumptions at all. However, non-flat, or ‘higher-order’ rules discharging inferences rather than single formulas arise naturally within the realization of Lorenzen’s inversion principle in the framework of natural deduction. For the connectives which are taken as basic in the standard systems of propositional logic, these higher-order rules can be equivalently replaced with flat ones. Building on our joint work with Prof. P. Schroeder-Heister, we show that this is not the case with every connective of intuitionistic logic, the connective $c(A,B,C) = (A \to B)\vee C$ being our main counterexample. We also show that the dual question must be answered in the negative, too, that is to say, that existence of a system of flat elimination rules for a connective of intuitionistic logic does not guarantee existence of a system of flat introduction rules.
...more
View all episodesView all episodes
Download on the App Store

MCMP – LogicBy MCMP Team

  • 3
  • 3
  • 3
  • 3
  • 3

3

2 ratings


More shows like MCMP – Logic

View all
Theoretical Physics Schools (ASC) by The Arnold Sommerfeld Center for Theoretical Physics (ASC)

Theoretical Physics Schools (ASC)

2 Listeners

MCMP – Mathematical Philosophy (Archive 2011/12) by MCMP Team

MCMP – Mathematical Philosophy (Archive 2011/12)

6 Listeners

Hegel lectures by Robert Brandom, LMU Munich by Robert Brandom, Axel Hutter

Hegel lectures by Robert Brandom, LMU Munich

6 Listeners

LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge by Professoren der Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft

LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge

0 Listeners

MCMP – Metaphysics and Philosophy of Language by MCMP Team

MCMP – Metaphysics and Philosophy of Language

2 Listeners

MCMP – Philosophy of Mathematics by MCMP Team

MCMP – Philosophy of Mathematics

2 Listeners

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD by Ludwig-Maximilians-Universität München

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD

1 Listeners

LMU An introduction to Bohmian Mechanics by Florian Hoffmann und Nicola Vona

LMU An introduction to Bohmian Mechanics

2 Listeners

Center for Advanced Studies (CAS) Research Focus Evolutionary Biology (LMU) - HD by Center for Advanced Studies (CAS)

Center for Advanced Studies (CAS) Research Focus Evolutionary Biology (LMU) - HD

0 Listeners

Medizin - Open Access LMU - Teil 18/22 by Ludwig-Maximilians-Universität München

Medizin - Open Access LMU - Teil 18/22

0 Listeners