Topic: proof of soundness
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?
Donald Sebastian Leung (May 10 2020 at 11:32):
Adrian Bono (May 10 2020 at 12:42):
Donald Sebastian Leung said:
Thanks, it's related but I am looking for a proof for QR rule for quantifiers.
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