The paper finds natural deduction meets harmony and subformula property, unlike classical excluded middle. Submitted 4 June 2025, revised 26 September 2025. Read more: https://getnews.me/logical-inferentialism-challenges-classical-logic-foundations/ #logicalinferentialism #naturaldeduction
September 29, 2025 at 10:30 PM
The paper finds natural deduction meets harmony and subformula property, unlike classical excluded middle. Submitted 4 June 2025, revised 26 September 2025. Read more: https://getnews.me/logical-inferentialism-challenges-classical-logic-foundations/ #logicalinferentialism #naturaldeduction
New: 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
- 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
Release pmGenerator 1.2 (patch 2) · xamidi/pmGenerator
pmGenerator-1.2.2-win.7z contains Windows binaries only.
Compiled by GCC 11.3.0, binaries from winlibs-x86_64-posix-seh-gcc-11.3.0-llvm-14.0.3-mingw-w64msvcrt-10.0.0-r3
Used oneTBB 2021.9.0-1, lib...
github.com
June 11, 2025 at 8:13 PM
New: 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
- 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
Greg Restall (@consequently@hcommons.social)
My *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...
hcommons.social
My *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...
hcommons.social
Greg Restall (@consequently@hcommons.social)
My *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.
https://consequently.org/presentation/2026/lp-subst-arche/
#prooftheory #NaturalDeduction #paradox #philosophy
hcommons.social
May 11, 2026 at 4:30 PM
Greg Restall (@consequently@hcommons.social)
My *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...
hcommons.social
My *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...
hcommons.social