FRINK Linked Data Fragments server

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

• W2969896101 abstract "We build a Default Logic variant on Intuitionistic Propositional Logic and develop a sound, complete, and terminating, tableaux calculus for it. We also present an implementation of the calculus. We motivate and illustrate the technical elements of our work with examples." @default.
• W2969896101 created "2019-08-29" @default.
• W2969896101 creator A5022706489 @default.
• W2969896101 creator A5042275970 @default.
• W2969896101 creator A5046933752 @default.
• W2969896101 creator A5078884064 @default.
• W2969896101 creator A5079953212 @default.
• W2969896101 date "2019-01-01" @default.
• W2969896101 modified "2023-10-06" @default.
• W2969896101 title "A Tableaux Calculus for Default Intuitionistic Logic" @default.
• W2969896101 cites W1498575378 @default.
• W2969896101 cites W1508912476 @default.
• W2969896101 cites W1518705996 @default.
• W2969896101 cites W1519055258 @default.
• W2969896101 cites W1553445265 @default.
• W2969896101 cites W1570374618 @default.
• W2969896101 cites W157785659 @default.
• W2969896101 cites W1689987508 @default.
• W2969896101 cites W191511039 @default.
• W2969896101 cites W1981904119 @default.
• W2969896101 cites W1997367034 @default.
• W2969896101 cites W2013153283 @default.
• W2969896101 cites W2016171120 @default.
• W2969896101 cites W2028582842 @default.
• W2969896101 cites W2049227737 @default.
• W2969896101 cites W2078926321 @default.
• W2969896101 cites W2084571374 @default.
• W2969896101 cites W2127391555 @default.
• W2969896101 cites W2155322595 @default.
• W2969896101 cites W2235995182 @default.
• W2969896101 cites W2295924173 @default.
• W2969896101 cites W2554014980 @default.
• W2969896101 cites W2753088994 @default.
• W2969896101 cites W2944531937 @default.
• W2969896101 cites W2954333904 @default.
• W2969896101 doi "https://doi.org/10.1007/978-3-030-29436-6_10" @default.
• W2969896101 hasPublicationYear "2019" @default.
• W2969896101 type Work @default.
• W2969896101 sameAs 2969896101 @default.
• W2969896101 citedByCount "1" @default.
• W2969896101 countsByYear W29698961012023 @default.
• W2969896101 crossrefType "book-chapter" @default.
• W2969896101 hasAuthorship W2969896101A5022706489 @default.
• W2969896101 hasAuthorship W2969896101A5042275970 @default.
• W2969896101 hasAuthorship W2969896101A5046933752 @default.
• W2969896101 hasAuthorship W2969896101A5078884064 @default.
• W2969896101 hasAuthorship W2969896101A5079953212 @default.
• W2969896101 hasConcept C102993220 @default.
• W2969896101 hasConcept C110039528 @default.
• W2969896101 hasConcept C11413529 @default.
• W2969896101 hasConcept C136119220 @default.
• W2969896101 hasConcept C159333733 @default.
• W2969896101 hasConcept C178421362 @default.
• W2969896101 hasConcept C199343813 @default.
• W2969896101 hasConcept C199360897 @default.
• W2969896101 hasConcept C202444582 @default.
• W2969896101 hasConcept C203659156 @default.
• W2969896101 hasConcept C2777686260 @default.
• W2969896101 hasConcept C33923547 @default.
• W2969896101 hasConcept C41008148 @default.
• W2969896101 hasConcept C62073222 @default.
• W2969896101 hasConcept C69562738 @default.
• W2969896101 hasConcept C71924100 @default.
• W2969896101 hasConcept C80444323 @default.
• W2969896101 hasConceptScore W2969896101C102993220 @default.
• W2969896101 hasConceptScore W2969896101C110039528 @default.
• W2969896101 hasConceptScore W2969896101C11413529 @default.
• W2969896101 hasConceptScore W2969896101C136119220 @default.
• W2969896101 hasConceptScore W2969896101C159333733 @default.
• W2969896101 hasConceptScore W2969896101C178421362 @default.
• W2969896101 hasConceptScore W2969896101C199343813 @default.
• W2969896101 hasConceptScore W2969896101C199360897 @default.
• W2969896101 hasConceptScore W2969896101C202444582 @default.
• W2969896101 hasConceptScore W2969896101C203659156 @default.
• W2969896101 hasConceptScore W2969896101C2777686260 @default.
• W2969896101 hasConceptScore W2969896101C33923547 @default.
• W2969896101 hasConceptScore W2969896101C41008148 @default.
• W2969896101 hasConceptScore W2969896101C62073222 @default.
• W2969896101 hasConceptScore W2969896101C69562738 @default.
• W2969896101 hasConceptScore W2969896101C71924100 @default.
• W2969896101 hasConceptScore W2969896101C80444323 @default.
• W2969896101 hasLocation W29698961011 @default.
• W2969896101 hasOpenAccess W2969896101 @default.
• W2969896101 hasPrimaryLocation W29698961011 @default.
• W2969896101 hasRelatedWork W117036793 @default.
• W2969896101 hasRelatedWork W1496058835 @default.
• W2969896101 hasRelatedWork W1515259164 @default.
• W2969896101 hasRelatedWork W1531887852 @default.
• W2969896101 hasRelatedWork W1555569636 @default.
• W2969896101 hasRelatedWork W1807903125 @default.
• W2969896101 hasRelatedWork W1847803379 @default.
• W2969896101 hasRelatedWork W1854821975 @default.
• W2969896101 hasRelatedWork W2006339381 @default.
• W2969896101 hasRelatedWork W2009715290 @default.
• W2969896101 hasRelatedWork W2019841519 @default.
• W2969896101 hasRelatedWork W2049227737 @default.
• W2969896101 hasRelatedWork W2055558461 @default.
• W2969896101 hasRelatedWork W2140189867 @default.
• W2969896101 hasRelatedWork W2147768374 @default.
• W2969896101 hasRelatedWork W2185755248 @default.

• next