A structured design-method for specialized proof procedures
A proof procedure verifies relative consequence relations B ⊨_E C (1) in first-order logic with equality by generating a refutation (or proof of contradiction) for some clause-representation C of B ˘ {¬ C}, using the axioms and inferences of some so...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
1975
|
| Online Access: | https://thesis.library.caltech.edu/6541/4/Brown_t_1975.pdf Brown, Thomas Carl (1975) A structured design-method for specialized proof procedures. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/nrh8-ka82. https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895 <https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895> |
Internet
https://thesis.library.caltech.edu/6541/4/Brown_t_1975.pdfBrown, Thomas Carl (1975) A structured design-method for specialized proof procedures. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/nrh8-ka82. https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895 <https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895>