Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020144980> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2020144980 abstract "We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of Meredith. The usual primitive notions of free variable and proper substitution are absent, making it easy to verify proofs in a machine-oriented application. Completeness results are presented. The example of Zermelo-Fraenkel set theory is shown to be finitely axiomatized under the formalization. The relationship with resolution-based theorem provers is briefly discussed. A closely related axiomatization of traditional predicate calculus is shown to be complete in a strong metamathematical sense." @default.
- W2020144980 created "2016-06-24" @default.
- W2020144980 creator A5002426804 @default.
- W2020144980 date "1995-07-01" @default.
- W2020144980 modified "2023-09-26" @default.
- W2020144980 title "A Finitely Axiomatized Formalization of Predicate Calculus with Equality" @default.
- W2020144980 cites W1481249376 @default.
- W2020144980 cites W1966945932 @default.
- W2020144980 cites W1972145536 @default.
- W2020144980 cites W1972891197 @default.
- W2020144980 cites W1984979605 @default.
- W2020144980 cites W2011948182 @default.
- W2020144980 cites W2018944629 @default.
- W2020144980 cites W2040259072 @default.
- W2020144980 cites W2053760476 @default.
- W2020144980 cites W2064417671 @default.
- W2020144980 cites W2085412574 @default.
- W2020144980 cites W2100738443 @default.
- W2020144980 cites W4246573604 @default.
- W2020144980 doi "https://doi.org/10.1305/ndjfl/1040149359" @default.
- W2020144980 hasPublicationYear "1995" @default.
- W2020144980 type Work @default.
- W2020144980 sameAs 2020144980 @default.
- W2020144980 citedByCount "2" @default.
- W2020144980 crossrefType "journal-article" @default.
- W2020144980 hasAuthorship W2020144980A5002426804 @default.
- W2020144980 hasBestOaLocation W20201449801 @default.
- W2020144980 hasConcept C100481476 @default.
- W2020144980 hasConcept C108710211 @default.
- W2020144980 hasConcept C118615104 @default.
- W2020144980 hasConcept C136119220 @default.
- W2020144980 hasConcept C140146324 @default.
- W2020144980 hasConcept C167729594 @default.
- W2020144980 hasConcept C199343813 @default.
- W2020144980 hasConcept C199360897 @default.
- W2020144980 hasConcept C202444582 @default.
- W2020144980 hasConcept C2524010 @default.
- W2020144980 hasConcept C2777686260 @default.
- W2020144980 hasConcept C2778220771 @default.
- W2020144980 hasConcept C33923547 @default.
- W2020144980 hasConcept C41008148 @default.
- W2020144980 hasConcept C62073222 @default.
- W2020144980 hasConcept C71924100 @default.
- W2020144980 hasConceptScore W2020144980C100481476 @default.
- W2020144980 hasConceptScore W2020144980C108710211 @default.
- W2020144980 hasConceptScore W2020144980C118615104 @default.
- W2020144980 hasConceptScore W2020144980C136119220 @default.
- W2020144980 hasConceptScore W2020144980C140146324 @default.
- W2020144980 hasConceptScore W2020144980C167729594 @default.
- W2020144980 hasConceptScore W2020144980C199343813 @default.
- W2020144980 hasConceptScore W2020144980C199360897 @default.
- W2020144980 hasConceptScore W2020144980C202444582 @default.
- W2020144980 hasConceptScore W2020144980C2524010 @default.
- W2020144980 hasConceptScore W2020144980C2777686260 @default.
- W2020144980 hasConceptScore W2020144980C2778220771 @default.
- W2020144980 hasConceptScore W2020144980C33923547 @default.
- W2020144980 hasConceptScore W2020144980C41008148 @default.
- W2020144980 hasConceptScore W2020144980C62073222 @default.
- W2020144980 hasConceptScore W2020144980C71924100 @default.
- W2020144980 hasIssue "3" @default.
- W2020144980 hasLocation W20201449801 @default.
- W2020144980 hasOpenAccess W2020144980 @default.
- W2020144980 hasPrimaryLocation W20201449801 @default.
- W2020144980 hasRelatedWork W1566752377 @default.
- W2020144980 hasRelatedWork W1579379232 @default.
- W2020144980 hasRelatedWork W2010467453 @default.
- W2020144980 hasRelatedWork W2018616641 @default.
- W2020144980 hasRelatedWork W2170862108 @default.
- W2020144980 hasRelatedWork W234600699 @default.
- W2020144980 hasRelatedWork W2537513979 @default.
- W2020144980 hasRelatedWork W2968770549 @default.
- W2020144980 hasRelatedWork W99492602 @default.
- W2020144980 hasRelatedWork W2043931823 @default.
- W2020144980 hasVolume "36" @default.
- W2020144980 isParatext "false" @default.
- W2020144980 isRetracted "false" @default.
- W2020144980 magId "2020144980" @default.
- W2020144980 workType "article" @default.