Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289596906> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4289596906 abstract "Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive systems. As an application, we obtain a Sahlqvist theorem for the fragments of the intuitionistic propositional calculus that include the implication connective and for the extensions of the intuitionistic linear logic." @default.
- W4289596906 created "2022-08-03" @default.
- W4289596906 creator A5031449832 @default.
- W4289596906 creator A5060859711 @default.
- W4289596906 date "2022-08-01" @default.
- W4289596906 modified "2023-09-29" @default.
- W4289596906 title "Intuitionistic Sahlqvist theory for deductive systems" @default.
- W4289596906 doi "https://doi.org/10.48550/arxiv.2208.00691" @default.
- W4289596906 hasPublicationYear "2022" @default.
- W4289596906 type Work @default.
- W4289596906 citedByCount "0" @default.
- W4289596906 crossrefType "posted-content" @default.
- W4289596906 hasAuthorship W4289596906A5031449832 @default.
- W4289596906 hasAuthorship W4289596906A5060859711 @default.
- W4289596906 hasBestOaLocation W42895969061 @default.
- W4289596906 hasConcept C102993220 @default.
- W4289596906 hasConcept C118615104 @default.
- W4289596906 hasConcept C121332964 @default.
- W4289596906 hasConcept C1276947 @default.
- W4289596906 hasConcept C136119220 @default.
- W4289596906 hasConcept C14523651 @default.
- W4289596906 hasConcept C178421362 @default.
- W4289596906 hasConcept C199343813 @default.
- W4289596906 hasConcept C202444582 @default.
- W4289596906 hasConcept C2524010 @default.
- W4289596906 hasConcept C2777686260 @default.
- W4289596906 hasConcept C2780861071 @default.
- W4289596906 hasConcept C28077239 @default.
- W4289596906 hasConcept C33203268 @default.
- W4289596906 hasConcept C33923547 @default.
- W4289596906 hasConcept C41008148 @default.
- W4289596906 hasConcept C59656382 @default.
- W4289596906 hasConcept C62073222 @default.
- W4289596906 hasConcept C69562738 @default.
- W4289596906 hasConcept C71924100 @default.
- W4289596906 hasConcept C80444323 @default.
- W4289596906 hasConcept C85343465 @default.
- W4289596906 hasConceptScore W4289596906C102993220 @default.
- W4289596906 hasConceptScore W4289596906C118615104 @default.
- W4289596906 hasConceptScore W4289596906C121332964 @default.
- W4289596906 hasConceptScore W4289596906C1276947 @default.
- W4289596906 hasConceptScore W4289596906C136119220 @default.
- W4289596906 hasConceptScore W4289596906C14523651 @default.
- W4289596906 hasConceptScore W4289596906C178421362 @default.
- W4289596906 hasConceptScore W4289596906C199343813 @default.
- W4289596906 hasConceptScore W4289596906C202444582 @default.
- W4289596906 hasConceptScore W4289596906C2524010 @default.
- W4289596906 hasConceptScore W4289596906C2777686260 @default.
- W4289596906 hasConceptScore W4289596906C2780861071 @default.
- W4289596906 hasConceptScore W4289596906C28077239 @default.
- W4289596906 hasConceptScore W4289596906C33203268 @default.
- W4289596906 hasConceptScore W4289596906C33923547 @default.
- W4289596906 hasConceptScore W4289596906C41008148 @default.
- W4289596906 hasConceptScore W4289596906C59656382 @default.
- W4289596906 hasConceptScore W4289596906C62073222 @default.
- W4289596906 hasConceptScore W4289596906C69562738 @default.
- W4289596906 hasConceptScore W4289596906C71924100 @default.
- W4289596906 hasConceptScore W4289596906C80444323 @default.
- W4289596906 hasConceptScore W4289596906C85343465 @default.
- W4289596906 hasLocation W42895969061 @default.
- W4289596906 hasOpenAccess W4289596906 @default.
- W4289596906 hasPrimaryLocation W42895969061 @default.
- W4289596906 hasRelatedWork W10111591 @default.
- W4289596906 hasRelatedWork W12454820 @default.
- W4289596906 hasRelatedWork W1370157 @default.
- W4289596906 hasRelatedWork W4199488 @default.
- W4289596906 hasRelatedWork W4288617 @default.
- W4289596906 hasRelatedWork W4861723 @default.
- W4289596906 hasRelatedWork W6551300 @default.
- W4289596906 hasRelatedWork W7843319 @default.
- W4289596906 hasRelatedWork W8130393 @default.
- W4289596906 hasRelatedWork W8902384 @default.
- W4289596906 isParatext "false" @default.
- W4289596906 isRetracted "false" @default.
- W4289596906 workType "article" @default.