Greg RestallMy *next* talk in this spring/summer of research combines some longstanding interests of mine (Graham Priest’s Logic of Paradox) and more recent interests (natural deduction and the sequent calculus). I bet you didn’t think that you could creatively apply Gentzen’s thoroughly standard rules of natural deduction to give you a sound and complete calculus for Priest’s LP, but it turns out that you can.
TariqI don't understand the ∀-intro and ∃-elim rules.
I asked here - if you can help, please do!
Samiro DischerNew: pmGenerator, since version 1.2.2, can
- compress Hilbert-style proofs via exhaustive search on user-provided proof data
- convert Fitch-style natural deduction proofs into any sufficiently explored Hilbert system
#Logic #HilbertSystems #NaturalDeduction #FormalMethods #ProofTheory #Mathematics
Jon Awbrey@emondb @hochstenbach @bblfish @josd
Hi Bruno,
I took a course & independent study on #AutomaticTheoremProving with David #Plaisted when he was still at #UIUC in 84–85. It was mostly about #ResolutionUnification & #NaturalDeduction provers but I was already on a different path by then as I had been working on #Peirce's & #SpencerBrown's versions of #LogicalGraphs in a computational vein since the late 60s. I'll discuss the differences that make a difference between those paradigms as we go.