FRINK Linked Data Fragments server

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

• W115908653 endingPage "226" @default.
• W115908653 startingPage "219" @default.
• W115908653 abstract "One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to such a semantics, proofs of a suitable natural deduction calculus for ALC support a proofs-asprograms paradigm." @default.
• W115908653 created "2016-06-24" @default.
• W115908653 creator A5011583391 @default.
• W115908653 creator A5017870557 @default.
• W115908653 creator A5038482708 @default.
• W115908653 creator A5090594213 @default.
• W115908653 date "2007-01-01" @default.
• W115908653 modified "2023-09-26" @default.
• W115908653 title "A constructive semantics for ALC" @default.
• W115908653 cites W1509731421 @default.
• W115908653 cites W1555563750 @default.
• W115908653 cites W1616151740 @default.
• W115908653 cites W2018556718 @default.
• W115908653 cites W2018882178 @default.
• W115908653 cites W2129284169 @default.
• W115908653 cites W2145465694 @default.
• W115908653 cites W2786980565 @default.
• W115908653 hasPublicationYear "2007" @default.
• W115908653 type Work @default.
• W115908653 sameAs 115908653 @default.
• W115908653 citedByCount "11" @default.
• W115908653 countsByYear W1159086532012 @default.
• W115908653 countsByYear W1159086532014 @default.
• W115908653 countsByYear W1159086532016 @default.
• W115908653 countsByYear W1159086532018 @default.
• W115908653 countsByYear W1159086532020 @default.
• W115908653 crossrefType "proceedings-article" @default.
• W115908653 hasAuthorship W115908653A5011583391 @default.
• W115908653 hasAuthorship W115908653A5017870557 @default.
• W115908653 hasAuthorship W115908653A5038482708 @default.
• W115908653 hasAuthorship W115908653A5090594213 @default.
• W115908653 hasConcept C108710211 @default.
• W115908653 hasConcept C156325763 @default.
• W115908653 hasConcept C178421362 @default.
• W115908653 hasConcept C184337299 @default.
• W115908653 hasConcept C199343813 @default.
• W115908653 hasConcept C199360897 @default.
• W115908653 hasConcept C200065993 @default.
• W115908653 hasConcept C207648694 @default.
• W115908653 hasConcept C2524010 @default.
• W115908653 hasConcept C2777686260 @default.
• W115908653 hasConcept C2778701210 @default.
• W115908653 hasConcept C33923547 @default.
• W115908653 hasConcept C41008148 @default.
• W115908653 hasConcept C527412718 @default.
• W115908653 hasConcept C61151141 @default.
• W115908653 hasConcept C62073222 @default.
• W115908653 hasConcept C69562738 @default.
• W115908653 hasConcept C71924100 @default.
• W115908653 hasConcept C80444323 @default.
• W115908653 hasConcept C89497691 @default.
• W115908653 hasConcept C98045186 @default.
• W115908653 hasConceptScore W115908653C108710211 @default.
• W115908653 hasConceptScore W115908653C156325763 @default.
• W115908653 hasConceptScore W115908653C178421362 @default.
• W115908653 hasConceptScore W115908653C184337299 @default.
• W115908653 hasConceptScore W115908653C199343813 @default.
• W115908653 hasConceptScore W115908653C199360897 @default.
• W115908653 hasConceptScore W115908653C200065993 @default.
• W115908653 hasConceptScore W115908653C207648694 @default.
• W115908653 hasConceptScore W115908653C2524010 @default.
• W115908653 hasConceptScore W115908653C2777686260 @default.
• W115908653 hasConceptScore W115908653C2778701210 @default.
• W115908653 hasConceptScore W115908653C33923547 @default.
• W115908653 hasConceptScore W115908653C41008148 @default.
• W115908653 hasConceptScore W115908653C527412718 @default.
• W115908653 hasConceptScore W115908653C61151141 @default.
• W115908653 hasConceptScore W115908653C62073222 @default.
• W115908653 hasConceptScore W115908653C69562738 @default.
• W115908653 hasConceptScore W115908653C71924100 @default.
• W115908653 hasConceptScore W115908653C80444323 @default.
• W115908653 hasConceptScore W115908653C89497691 @default.
• W115908653 hasConceptScore W115908653C98045186 @default.
• W115908653 hasLocation W1159086531 @default.
• W115908653 hasOpenAccess W115908653 @default.
• W115908653 hasPrimaryLocation W1159086531 @default.
• W115908653 hasRelatedWork W1507984256 @default.
• W115908653 hasRelatedWork W1555563750 @default.
• W115908653 hasRelatedWork W1598297969 @default.
• W115908653 hasRelatedWork W163908052 @default.
• W115908653 hasRelatedWork W1667900866 @default.
• W115908653 hasRelatedWork W2000752486 @default.
• W115908653 hasRelatedWork W2018882178 @default.
• W115908653 hasRelatedWork W2071401147 @default.
• W115908653 hasRelatedWork W2124008746 @default.
• W115908653 hasRelatedWork W2134446632 @default.
• W115908653 hasRelatedWork W2143326093 @default.
• W115908653 hasRelatedWork W2145465694 @default.
• W115908653 hasRelatedWork W26682242 @default.
• W115908653 hasRelatedWork W2892215877 @default.
• W115908653 hasRelatedWork W2908263265 @default.
• W115908653 hasRelatedWork W3154940237 @default.
• W115908653 hasRelatedWork W3202177550 @default.
• W115908653 hasRelatedWork W990811742 @default.
• W115908653 hasRelatedWork W2744001121 @default.
• W115908653 hasRelatedWork W3002066899 @default.
• W115908653 hasVolume "250" @default.
• W115908653 isParatext "false" @default.

• next