Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580164595> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1580164595 abstract "In this paper we provide a semantical meta-theory that will support the development of higher-order calculi for automated theorem proving like the corresponding methodology has in first-order logic. To reach this goal, we establish classes of models that adequately characterize the existing theorem-proving calculi, that is, so that they are sound and complete to these calculi, and a standard methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of machine-oriented calculi." @default.
- W1580164595 created "2016-06-24" @default.
- W1580164595 creator A5055110324 @default.
- W1580164595 creator A5015060761 @default.
- W1580164595 date "1997-01-01" @default.
- W1580164595 modified "2023-09-22" @default.
- W1580164595 title "Model Existence for Higher Order Logic" @default.
- W1580164595 hasPublicationYear "1997" @default.
- W1580164595 type Work @default.
- W1580164595 sameAs 1580164595 @default.
- W1580164595 citedByCount "2" @default.
- W1580164595 crossrefType "journal-article" @default.
- W1580164595 hasAuthorship W1580164595A5015060761 @default.
- W1580164595 hasAuthorship W1580164595A5055110324 @default.
- W1580164595 hasConcept C10138342 @default.
- W1580164595 hasConcept C118615104 @default.
- W1580164595 hasConcept C134306372 @default.
- W1580164595 hasConcept C162324750 @default.
- W1580164595 hasConcept C17231256 @default.
- W1580164595 hasConcept C182306322 @default.
- W1580164595 hasConcept C195344581 @default.
- W1580164595 hasConcept C199343813 @default.
- W1580164595 hasConcept C200116569 @default.
- W1580164595 hasConcept C206880738 @default.
- W1580164595 hasConcept C2776436953 @default.
- W1580164595 hasConcept C2777686260 @default.
- W1580164595 hasConcept C33923547 @default.
- W1580164595 hasConcept C41008148 @default.
- W1580164595 hasConcept C71924100 @default.
- W1580164595 hasConcept C80444323 @default.
- W1580164595 hasConceptScore W1580164595C10138342 @default.
- W1580164595 hasConceptScore W1580164595C118615104 @default.
- W1580164595 hasConceptScore W1580164595C134306372 @default.
- W1580164595 hasConceptScore W1580164595C162324750 @default.
- W1580164595 hasConceptScore W1580164595C17231256 @default.
- W1580164595 hasConceptScore W1580164595C182306322 @default.
- W1580164595 hasConceptScore W1580164595C195344581 @default.
- W1580164595 hasConceptScore W1580164595C199343813 @default.
- W1580164595 hasConceptScore W1580164595C200116569 @default.
- W1580164595 hasConceptScore W1580164595C206880738 @default.
- W1580164595 hasConceptScore W1580164595C2776436953 @default.
- W1580164595 hasConceptScore W1580164595C2777686260 @default.
- W1580164595 hasConceptScore W1580164595C33923547 @default.
- W1580164595 hasConceptScore W1580164595C41008148 @default.
- W1580164595 hasConceptScore W1580164595C71924100 @default.
- W1580164595 hasConceptScore W1580164595C80444323 @default.
- W1580164595 hasLocation W15801645951 @default.
- W1580164595 hasOpenAccess W1580164595 @default.
- W1580164595 hasPrimaryLocation W15801645951 @default.
- W1580164595 hasRelatedWork W126011539 @default.
- W1580164595 hasRelatedWork W1531105966 @default.
- W1580164595 hasRelatedWork W1551326782 @default.
- W1580164595 hasRelatedWork W1570712623 @default.
- W1580164595 hasRelatedWork W158565500 @default.
- W1580164595 hasRelatedWork W1601255741 @default.
- W1580164595 hasRelatedWork W1769049439 @default.
- W1580164595 hasRelatedWork W2011277486 @default.
- W1580164595 hasRelatedWork W2027752737 @default.
- W1580164595 hasRelatedWork W2076410236 @default.
- W1580164595 hasRelatedWork W2088900498 @default.
- W1580164595 hasRelatedWork W2124890997 @default.
- W1580164595 hasRelatedWork W2172979345 @default.
- W1580164595 hasRelatedWork W2952657320 @default.
- W1580164595 hasRelatedWork W2960869773 @default.
- W1580164595 hasRelatedWork W3130894656 @default.
- W1580164595 hasRelatedWork W33052584 @default.
- W1580164595 hasRelatedWork W38237202 @default.
- W1580164595 hasRelatedWork W74207700 @default.
- W1580164595 hasRelatedWork W74807182 @default.
- W1580164595 isParatext "false" @default.
- W1580164595 isRetracted "false" @default.
- W1580164595 magId "1580164595" @default.
- W1580164595 workType "article" @default.