New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Review soundness for sequent calculus #74

Closed
rzach opened this Issue Nov 14, 2015 · 1 comment

Comments

Projects
None yet
1 participant
@rzach
Member

rzach commented Nov 14, 2015

Proof in soundness.tex is cumbersome and hard to follow. Add derivation fragments. Check/remove indefinite articles "an $!E$" etc -- !E may not print as E!

@rzach rzach added the bug label Nov 14, 2015

@rzach rzach self-assigned this Jul 16, 2017

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Jul 16, 2017

Member

Upping urgency since @nicolewyatt needs this for Fall.

Member

rzach commented Jul 16, 2017

Upping urgency since @nicolewyatt needs this for Fall.

rzach added a commit that referenced this issue Jul 17, 2017

improve sequent calculus chapter (fixes issue #74 and part of issue #145
); avoid \Proves \lfalse for inconsistency (fixes issue #147)

rzach added a commit that referenced this issue Aug 8, 2017

completeness via complete sets and clearer more detailed proofs; stan…
…dard sequent calculus w/ sequences; better soundness proof for LK; standard natural deduction rules (fixes issues #38, #74, #144, #145, #147) (#143)

completeness via complete sets and clearer more detailed proofs; standard sequent calculus w/ sequences; better soundness proof for LK; standard natural deduction rules (fixes issues #38, #74, #144, #145, #147)

@rzach rzach closed this Aug 8, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment