Automated Reasoning with Otter
Automated Reasoning with Otter
Automating the Search for Elegant Proofs
Journal of Automated Reasoning
Solving Open Questions and Other Challenge Problems Using Proof Sketches
Journal of Automated Reasoning
The design and implementation of VAMPIRE
AI Communications - CASC
Hi-index | 0.00 |
Gibbard [2] presents an argument to the effect that any conditional satisfying certain principles must be equivalent to the material (viz., classical) conditional. Here is one rendition of Gibbard's (informal) argument.