How to prove the resolution method in propositional logic is complete ?

From: Phuong (pdao_at_connect.carleton.ca)
Date: 07/08/04

Next message: Bryan Olson: "Re: The Psychology of Responding to Crackpots"

Previous message: Martin Shobe: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
Next in thread: J.L. Perez-de-la-Cruz: "Re: How to prove the resolution method in propositional logic is complete ?"
Reply: J.L. Perez-de-la-Cruz: "Re: How to prove the resolution method in propositional logic is complete ?"
Reply: Poker Joker: "Re: How to prove the resolution method in propositional logic is complete ?"
Messages sorted by: [ date ] [ thread ]

Date: 7 Jul 2004 20:37:49 -0700

Any one has an idea ?

Next message: Bryan Olson: "Re: The Psychology of Responding to Crackpots"

Previous message: Martin Shobe: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
Next in thread: J.L. Perez-de-la-Cruz: "Re: How to prove the resolution method in propositional logic is complete ?"
Reply: J.L. Perez-de-la-Cruz: "Re: How to prove the resolution method in propositional logic is complete ?"
Reply: Poker Joker: "Re: How to prove the resolution method in propositional logic is complete ?"
Messages sorted by: [ date ] [ thread ]