FRINK Linked Data Fragments server

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

• W3046335860 endingPage "64" @default.
• W3046335860 startingPage "45" @default.
• W3046335860 abstract "Abstract Working within a semantic framework for sequent calculi developed in [3], we propose a couple of extensions to the concepts of correct answers and correct resultants which can be applied to the full first order logic. With respect to previous proposals, this is based on proof theory rather than model theory. We motivate our choice with several examples and we show how to use correct answers to reconstruct an abstraction which is widely used in the static analysis of logic programs, namely groundness. As an example of application, we present a prototypical top-down static interpreter for properties of groundness which works for the full intuitionistic first order logic." @default.
• W3046335860 created "2020-08-07" @default.
• W3046335860 creator A5049486961 @default.
• W3046335860 date "2001-01-01" @default.
• W3046335860 modified "2023-09-26" @default.
• W3046335860 title "Correct Answers for First Order Logic." @default.
• W3046335860 hasPublicationYear "2001" @default.
• W3046335860 type Work @default.
• W3046335860 sameAs 3046335860 @default.
• W3046335860 citedByCount "0" @default.
• W3046335860 crossrefType "proceedings-article" @default.
• W3046335860 hasAuthorship W3046335860A5049486961 @default.
• W3046335860 hasConcept C10138342 @default.
• W3046335860 hasConcept C102993220 @default.
• W3046335860 hasConcept C108710211 @default.
• W3046335860 hasConcept C111472728 @default.
• W3046335860 hasConcept C11413529 @default.
• W3046335860 hasConcept C122783720 @default.
• W3046335860 hasConcept C124304363 @default.
• W3046335860 hasConcept C128838566 @default.
• W3046335860 hasConcept C138885662 @default.
• W3046335860 hasConcept C162324750 @default.
• W3046335860 hasConcept C169896238 @default.
• W3046335860 hasConcept C182306322 @default.
• W3046335860 hasConcept C189790780 @default.
• W3046335860 hasConcept C199343813 @default.
• W3046335860 hasConcept C199360897 @default.
• W3046335860 hasConcept C203659156 @default.
• W3046335860 hasConcept C2318724 @default.
• W3046335860 hasConcept C2524010 @default.
• W3046335860 hasConcept C2777686260 @default.
• W3046335860 hasConcept C28077239 @default.
• W3046335860 hasConcept C28826006 @default.
• W3046335860 hasConcept C2987642246 @default.
• W3046335860 hasConcept C33923547 @default.
• W3046335860 hasConcept C3845977 @default.
• W3046335860 hasConcept C41008148 @default.
• W3046335860 hasConcept C65880906 @default.
• W3046335860 hasConcept C71924100 @default.
• W3046335860 hasConcept C80444323 @default.
• W3046335860 hasConcept C80467683 @default.
• W3046335860 hasConcept C89421646 @default.
• W3046335860 hasConceptScore W3046335860C10138342 @default.
• W3046335860 hasConceptScore W3046335860C102993220 @default.
• W3046335860 hasConceptScore W3046335860C108710211 @default.
• W3046335860 hasConceptScore W3046335860C111472728 @default.
• W3046335860 hasConceptScore W3046335860C11413529 @default.
• W3046335860 hasConceptScore W3046335860C122783720 @default.
• W3046335860 hasConceptScore W3046335860C124304363 @default.
• W3046335860 hasConceptScore W3046335860C128838566 @default.
• W3046335860 hasConceptScore W3046335860C138885662 @default.
• W3046335860 hasConceptScore W3046335860C162324750 @default.
• W3046335860 hasConceptScore W3046335860C169896238 @default.
• W3046335860 hasConceptScore W3046335860C182306322 @default.
• W3046335860 hasConceptScore W3046335860C189790780 @default.
• W3046335860 hasConceptScore W3046335860C199343813 @default.
• W3046335860 hasConceptScore W3046335860C199360897 @default.
• W3046335860 hasConceptScore W3046335860C203659156 @default.
• W3046335860 hasConceptScore W3046335860C2318724 @default.
• W3046335860 hasConceptScore W3046335860C2524010 @default.
• W3046335860 hasConceptScore W3046335860C2777686260 @default.
• W3046335860 hasConceptScore W3046335860C28077239 @default.
• W3046335860 hasConceptScore W3046335860C28826006 @default.
• W3046335860 hasConceptScore W3046335860C2987642246 @default.
• W3046335860 hasConceptScore W3046335860C33923547 @default.
• W3046335860 hasConceptScore W3046335860C3845977 @default.
• W3046335860 hasConceptScore W3046335860C41008148 @default.
• W3046335860 hasConceptScore W3046335860C65880906 @default.
• W3046335860 hasConceptScore W3046335860C71924100 @default.
• W3046335860 hasConceptScore W3046335860C80444323 @default.
• W3046335860 hasConceptScore W3046335860C80467683 @default.
• W3046335860 hasConceptScore W3046335860C89421646 @default.
• W3046335860 hasLocation W30463358601 @default.
• W3046335860 hasOpenAccess W3046335860 @default.
• W3046335860 hasPrimaryLocation W30463358601 @default.
• W3046335860 hasRelatedWork W147830973 @default.
• W3046335860 hasRelatedWork W1518887142 @default.
• W3046335860 hasRelatedWork W1536808037 @default.
• W3046335860 hasRelatedWork W1750970660 @default.
• W3046335860 hasRelatedWork W186972188 @default.
• W3046335860 hasRelatedWork W1919787233 @default.
• W3046335860 hasRelatedWork W2000387514 @default.
• W3046335860 hasRelatedWork W2002720278 @default.
• W3046335860 hasRelatedWork W2026275797 @default.
• W3046335860 hasRelatedWork W2056396795 @default.
• W3046335860 hasRelatedWork W2083424831 @default.
• W3046335860 hasRelatedWork W2102045458 @default.
• W3046335860 hasRelatedWork W2132181573 @default.
• W3046335860 hasRelatedWork W2178196758 @default.
• W3046335860 hasRelatedWork W2531992632 @default.
• W3046335860 hasRelatedWork W2563362479 @default.
• W3046335860 hasRelatedWork W2796692086 @default.
• W3046335860 hasRelatedWork W2951495951 @default.
• W3046335860 hasRelatedWork W2982362469 @default.
• W3046335860 hasRelatedWork W3040245614 @default.
• W3046335860 hasVolume "48" @default.
• W3046335860 isParatext "false" @default.
• W3046335860 isRetracted "false" @default.

• next