Zulip Chat Archive

Stream: general

Topic: proof of soundness


view this post on Zulip Adrian Bono (May 10 2020 at 11:22):

Hello, can someone introduce me a book/paper/link in which I can find a proof of soundness of axiomatic rules for first order logic?

view this post on Zulip Donald Sebastian Leung (May 10 2020 at 11:32):

Like this?

view this post on Zulip Adrian Bono (May 10 2020 at 12:42):

Donald Sebastian Leung said:

Like this?

Thanks, it's related but I am looking for a proof for QR rule for quantifiers.

view this post on Zulip Jason Rute (May 24 2020 at 12:44):

Soundness proofs will depend on you choice of axioms and inference rules. I googled “QR rule FOL” and got this pdf. Soundness is theorem 5: https://www.math.ucla.edu/~dam/135.12f/135notes5.pdf


Last updated: May 09 2021 at 18:17 UTC