Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008719504> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2008719504 endingPage "168" @default.
- W2008719504 startingPage "153" @default.
- W2008719504 abstract "We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents bottom. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we can recognize conflicting situations (equivalent to a formula and its negation)." @default.
- W2008719504 created "2016-06-24" @default.
- W2008719504 creator A5002266106 @default.
- W2008719504 creator A5065262131 @default.
- W2008719504 date "2013-03-28" @default.
- W2008719504 modified "2023-10-03" @default.
- W2008719504 title "A Graph Calculus for Predicate Logic" @default.
- W2008719504 cites W13469394 @default.
- W2008719504 cites W1969778365 @default.
- W2008719504 cites W1993472384 @default.
- W2008719504 cites W2007142183 @default.
- W2008719504 cites W2015626965 @default.
- W2008719504 cites W2047366356 @default.
- W2008719504 doi "https://doi.org/10.4204/eptcs.113.15" @default.
- W2008719504 hasPublicationYear "2013" @default.
- W2008719504 type Work @default.
- W2008719504 sameAs 2008719504 @default.
- W2008719504 citedByCount "0" @default.
- W2008719504 crossrefType "journal-article" @default.
- W2008719504 hasAuthorship W2008719504A5002266106 @default.
- W2008719504 hasAuthorship W2008719504A5065262131 @default.
- W2008719504 hasBestOaLocation W20087195041 @default.
- W2008719504 hasConcept C100481476 @default.
- W2008719504 hasConcept C118615104 @default.
- W2008719504 hasConcept C132525143 @default.
- W2008719504 hasConcept C199343813 @default.
- W2008719504 hasConcept C199360897 @default.
- W2008719504 hasConcept C2185349 @default.
- W2008719504 hasConcept C2777686260 @default.
- W2008719504 hasConcept C2778029271 @default.
- W2008719504 hasConcept C33923547 @default.
- W2008719504 hasConcept C41008148 @default.
- W2008719504 hasConcept C71924100 @default.
- W2008719504 hasConceptScore W2008719504C100481476 @default.
- W2008719504 hasConceptScore W2008719504C118615104 @default.
- W2008719504 hasConceptScore W2008719504C132525143 @default.
- W2008719504 hasConceptScore W2008719504C199343813 @default.
- W2008719504 hasConceptScore W2008719504C199360897 @default.
- W2008719504 hasConceptScore W2008719504C2185349 @default.
- W2008719504 hasConceptScore W2008719504C2777686260 @default.
- W2008719504 hasConceptScore W2008719504C2778029271 @default.
- W2008719504 hasConceptScore W2008719504C33923547 @default.
- W2008719504 hasConceptScore W2008719504C41008148 @default.
- W2008719504 hasConceptScore W2008719504C71924100 @default.
- W2008719504 hasLocation W20087195041 @default.
- W2008719504 hasLocation W20087195042 @default.
- W2008719504 hasOpenAccess W2008719504 @default.
- W2008719504 hasPrimaryLocation W20087195041 @default.
- W2008719504 hasRelatedWork W1841979199 @default.
- W2008719504 hasRelatedWork W2033571057 @default.
- W2008719504 hasRelatedWork W2069998960 @default.
- W2008719504 hasRelatedWork W2320266418 @default.
- W2008719504 hasRelatedWork W2325022266 @default.
- W2008719504 hasRelatedWork W2325223994 @default.
- W2008719504 hasRelatedWork W2352495365 @default.
- W2008719504 hasRelatedWork W3080875783 @default.
- W2008719504 hasRelatedWork W4251067554 @default.
- W2008719504 hasRelatedWork W4312285938 @default.
- W2008719504 hasVolume "113" @default.
- W2008719504 isParatext "false" @default.
- W2008719504 isRetracted "false" @default.
- W2008719504 magId "2008719504" @default.
- W2008719504 workType "article" @default.