Matches in SemOpenAlex for { <https://semopenalex.org/work/W99492602> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W99492602 abstract "This manual explains how to use of the proof checker FOL, and supersedes all previous manuals. FOL checks proofs of a natural deduction style formulation of first order functional calculus with equality augumented in the following ways: (i) it is a many-sorted first-order logic in which a partial order over the sorts may be specified; (ii) conditional expressions are allowed for forming terms (iii) axiom schemata with predicate and function parameters are allowed (iv) purely propositional deductions can be made in a single step; (v) a partial model of the language can be built in a LISP environment and some deductions can be made by direct computation in this model; (vi) there is a limited ability to make metamathematical arguments; (vii) there are many operational conveniences. A major goal of FOL is to create an environment where formal proofs can be carefully examined with the eventual aim of designing practical tools for manipulating proofs in pure mathematics and about the correctness of programs. This includes checking proofs generated by other programs. FOL is also a research tool in modeling common-sense reasoning including reasoning about knowledge and belief." @default.
- W99492602 created "2016-06-24" @default.
- W99492602 creator A5031583109 @default.
- W99492602 date "1977-07-01" @default.
- W99492602 modified "2023-09-23" @default.
- W99492602 title "A users manual for FOL." @default.
- W99492602 cites W1978270323 @default.
- W99492602 cites W2138162238 @default.
- W99492602 cites W2949436104 @default.
- W99492602 cites W3199565109 @default.
- W99492602 hasPublicationYear "1977" @default.
- W99492602 type Work @default.
- W99492602 sameAs 99492602 @default.
- W99492602 citedByCount "6" @default.
- W99492602 countsByYear W994926022021 @default.
- W99492602 crossrefType "journal-article" @default.
- W99492602 hasAuthorship W99492602A5031583109 @default.
- W99492602 hasConcept C100481476 @default.
- W99492602 hasConcept C108710211 @default.
- W99492602 hasConcept C118615104 @default.
- W99492602 hasConcept C13766981 @default.
- W99492602 hasConcept C140146324 @default.
- W99492602 hasConcept C159718280 @default.
- W99492602 hasConcept C167729594 @default.
- W99492602 hasConcept C182359184 @default.
- W99492602 hasConcept C199343813 @default.
- W99492602 hasConcept C199360897 @default.
- W99492602 hasConcept C203265346 @default.
- W99492602 hasConcept C206880738 @default.
- W99492602 hasConcept C2524010 @default.
- W99492602 hasConcept C2777686260 @default.
- W99492602 hasConcept C33923547 @default.
- W99492602 hasConcept C41008148 @default.
- W99492602 hasConcept C55439883 @default.
- W99492602 hasConcept C62073222 @default.
- W99492602 hasConcept C69562738 @default.
- W99492602 hasConcept C71924100 @default.
- W99492602 hasConcept C80444323 @default.
- W99492602 hasConceptScore W99492602C100481476 @default.
- W99492602 hasConceptScore W99492602C108710211 @default.
- W99492602 hasConceptScore W99492602C118615104 @default.
- W99492602 hasConceptScore W99492602C13766981 @default.
- W99492602 hasConceptScore W99492602C140146324 @default.
- W99492602 hasConceptScore W99492602C159718280 @default.
- W99492602 hasConceptScore W99492602C167729594 @default.
- W99492602 hasConceptScore W99492602C182359184 @default.
- W99492602 hasConceptScore W99492602C199343813 @default.
- W99492602 hasConceptScore W99492602C199360897 @default.
- W99492602 hasConceptScore W99492602C203265346 @default.
- W99492602 hasConceptScore W99492602C206880738 @default.
- W99492602 hasConceptScore W99492602C2524010 @default.
- W99492602 hasConceptScore W99492602C2777686260 @default.
- W99492602 hasConceptScore W99492602C33923547 @default.
- W99492602 hasConceptScore W99492602C41008148 @default.
- W99492602 hasConceptScore W99492602C55439883 @default.
- W99492602 hasConceptScore W99492602C62073222 @default.
- W99492602 hasConceptScore W99492602C69562738 @default.
- W99492602 hasConceptScore W99492602C71924100 @default.
- W99492602 hasConceptScore W99492602C80444323 @default.
- W99492602 hasLocation W994926021 @default.
- W99492602 hasOpenAccess W99492602 @default.
- W99492602 hasPrimaryLocation W994926021 @default.
- W99492602 hasRelatedWork W1494663138 @default.
- W99492602 hasRelatedWork W1523013478 @default.
- W99492602 hasRelatedWork W1573911295 @default.
- W99492602 hasRelatedWork W1585354690 @default.
- W99492602 hasRelatedWork W1781438572 @default.
- W99492602 hasRelatedWork W1969922231 @default.
- W99492602 hasRelatedWork W2090463680 @default.
- W99492602 hasRelatedWork W2107997147 @default.
- W99492602 hasRelatedWork W2112451656 @default.
- W99492602 hasRelatedWork W2134476918 @default.
- W99492602 hasRelatedWork W2165163976 @default.
- W99492602 hasRelatedWork W2166573120 @default.
- W99492602 hasRelatedWork W2195852518 @default.
- W99492602 hasRelatedWork W2218931105 @default.
- W99492602 hasRelatedWork W2753228110 @default.
- W99492602 hasRelatedWork W2806893870 @default.
- W99492602 hasRelatedWork W2974719405 @default.
- W99492602 hasRelatedWork W63969647 @default.
- W99492602 hasRelatedWork W787793384 @default.
- W99492602 hasRelatedWork W349922720 @default.
- W99492602 isParatext "false" @default.
- W99492602 isRetracted "false" @default.
- W99492602 magId "99492602" @default.
- W99492602 workType "article" @default.