FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110141919> ?p ?o ?g. }

• W2110141919 endingPage "29" @default.
• W2110141919 startingPage "3" @default.
• W2110141919 abstract "We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-rules for it, we demonstrate cut-elimination for the resulting logic, and we give a semantics for which the logic is sound and complete. Because we can now make assertions about what would normally be considered an intensional property of a term (being a variable symbol) we can now express inside the logic, properties of its terms and predicates which would normally be external to the logic. We give axiomatisations in a-logic, including of the lambda-calculus, and discuss what relevance this might have to logic programming." @default.
• W2110141919 created "2016-06-24" @default.
• W2110141919 creator A5003227005 @default.
• W2110141919 creator A5022313675 @default.
• W2110141919 date "2008-07-01" @default.
• W2110141919 modified "2023-10-08" @default.
• W2110141919 title "a-Logic With Arrows" @default.
• W2110141919 cites W1527857956 @default.
• W2110141919 cites W1534472109 @default.
• W2110141919 cites W1541992615 @default.
• W2110141919 cites W1556091851 @default.
• W2110141919 cites W1570311220 @default.
• W2110141919 cites W1582292473 @default.
• W2110141919 cites W1583295953 @default.
• W2110141919 cites W1592287058 @default.
• W2110141919 cites W173674133 @default.
• W2110141919 cites W1901068688 @default.
• W2110141919 cites W1909842525 @default.
• W2110141919 cites W1975082667 @default.
• W2110141919 cites W1982896380 @default.
• W2110141919 cites W1993890055 @default.
• W2110141919 cites W2023648368 @default.
• W2110141919 cites W2045348838 @default.
• W2110141919 cites W2068358250 @default.
• W2110141919 cites W2090981365 @default.
• W2110141919 cites W2091567516 @default.
• W2110141919 cites W2128159126 @default.
• W2110141919 cites W2154273644 @default.
• W2110141919 cites W2158542561 @default.
• W2110141919 cites W2168547990 @default.
• W2110141919 cites W2180471721 @default.
• W2110141919 cites W2276959680 @default.
• W2110141919 cites W2732961065 @default.
• W2110141919 cites W2911271085 @default.
• W2110141919 cites W2785851425 @default.
• W2110141919 doi "https://doi.org/10.1016/j.entcs.2008.06.031" @default.
• W2110141919 hasPublicationYear "2008" @default.
• W2110141919 type Work @default.
• W2110141919 sameAs 2110141919 @default.
• W2110141919 citedByCount "1" @default.
• W2110141919 crossrefType "journal-article" @default.
• W2110141919 hasAuthorship W2110141919A5003227005 @default.
• W2110141919 hasAuthorship W2110141919A5022313675 @default.
• W2110141919 hasBestOaLocation W21101419191 @default.
• W2110141919 hasConcept C102993220 @default.
• W2110141919 hasConcept C108710211 @default.
• W2110141919 hasConcept C110039528 @default.
• W2110141919 hasConcept C121332964 @default.
• W2110141919 hasConcept C128838566 @default.
• W2110141919 hasConcept C144760519 @default.
• W2110141919 hasConcept C150889026 @default.
• W2110141919 hasConcept C165801399 @default.
• W2110141919 hasConcept C169896238 @default.
• W2110141919 hasConcept C172385210 @default.
• W2110141919 hasConcept C189790780 @default.
• W2110141919 hasConcept C19689857 @default.
• W2110141919 hasConcept C199360897 @default.
• W2110141919 hasConcept C203659156 @default.
• W2110141919 hasConcept C2039508 @default.
• W2110141919 hasConcept C2524010 @default.
• W2110141919 hasConcept C2777796570 @default.
• W2110141919 hasConcept C33203268 @default.
• W2110141919 hasConcept C33923547 @default.
• W2110141919 hasConcept C3845977 @default.
• W2110141919 hasConcept C41008148 @default.
• W2110141919 hasConcept C62520636 @default.
• W2110141919 hasConcept C65880906 @default.
• W2110141919 hasConcept C73314972 @default.
• W2110141919 hasConcept C80467683 @default.
• W2110141919 hasConceptScore W2110141919C102993220 @default.
• W2110141919 hasConceptScore W2110141919C108710211 @default.
• W2110141919 hasConceptScore W2110141919C110039528 @default.
• W2110141919 hasConceptScore W2110141919C121332964 @default.
• W2110141919 hasConceptScore W2110141919C128838566 @default.
• W2110141919 hasConceptScore W2110141919C144760519 @default.
• W2110141919 hasConceptScore W2110141919C150889026 @default.
• W2110141919 hasConceptScore W2110141919C165801399 @default.
• W2110141919 hasConceptScore W2110141919C169896238 @default.
• W2110141919 hasConceptScore W2110141919C172385210 @default.
• W2110141919 hasConceptScore W2110141919C189790780 @default.
• W2110141919 hasConceptScore W2110141919C19689857 @default.
• W2110141919 hasConceptScore W2110141919C199360897 @default.
• W2110141919 hasConceptScore W2110141919C203659156 @default.
• W2110141919 hasConceptScore W2110141919C2039508 @default.
• W2110141919 hasConceptScore W2110141919C2524010 @default.
• W2110141919 hasConceptScore W2110141919C2777796570 @default.
• W2110141919 hasConceptScore W2110141919C33203268 @default.
• W2110141919 hasConceptScore W2110141919C33923547 @default.
• W2110141919 hasConceptScore W2110141919C3845977 @default.
• W2110141919 hasConceptScore W2110141919C41008148 @default.
• W2110141919 hasConceptScore W2110141919C62520636 @default.
• W2110141919 hasConceptScore W2110141919C65880906 @default.
• W2110141919 hasConceptScore W2110141919C73314972 @default.
• W2110141919 hasConceptScore W2110141919C80467683 @default.
• W2110141919 hasLocation W21101419191 @default.
• W2110141919 hasOpenAccess W2110141919 @default.
• W2110141919 hasPrimaryLocation W21101419191 @default.
• W2110141919 hasRelatedWork W11378686 @default.

• next