FRINK Linked Data Fragments server

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

• W2890514385 abstract "In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and its subvarieties and applies the guidelines of the multi-type methodology in the design of display calculi." @default.
• W2890514385 created "2018-09-27" @default.
• W2890514385 creator A5022846522 @default.
• W2890514385 creator A5035153627 @default.
• W2890514385 creator A5047149000 @default.
• W2890514385 creator A5075789817 @default.
• W2890514385 date "2018-09-21" @default.
• W2890514385 modified "2023-09-27" @default.
• W2890514385 title "Semi De Morgan logic properly displayed" @default.
• W2890514385 cites W1533566785 @default.
• W2890514385 cites W1539618905 @default.
• W2890514385 cites W2011700761 @default.
• W2890514385 cites W2037711229 @default.
• W2890514385 cites W2039928244 @default.
• W2890514385 cites W2041551352 @default.
• W2890514385 cites W2102609718 @default.
• W2890514385 cites W2130561095 @default.
• W2890514385 cites W2207948284 @default.
• W2890514385 cites W2334111423 @default.
• W2890514385 cites W2498531142 @default.
• W2890514385 cites W2724163406 @default.
• W2890514385 cites W2963466275 @default.
• W2890514385 cites W2979689738 @default.
• W2890514385 cites W2292330827 @default.
• W2890514385 hasPublicationYear "2018" @default.
• W2890514385 type Work @default.
• W2890514385 sameAs 2890514385 @default.
• W2890514385 citedByCount "0" @default.
• W2890514385 crossrefType "posted-content" @default.
• W2890514385 hasAuthorship W2890514385A5022846522 @default.
• W2890514385 hasAuthorship W2890514385A5035153627 @default.
• W2890514385 hasAuthorship W2890514385A5047149000 @default.
• W2890514385 hasAuthorship W2890514385A5075789817 @default.
• W2890514385 hasConcept C111472728 @default.
• W2890514385 hasConcept C125773388 @default.
• W2890514385 hasConcept C127413603 @default.
• W2890514385 hasConcept C134306372 @default.
• W2890514385 hasConcept C136119220 @default.
• W2890514385 hasConcept C137335462 @default.
• W2890514385 hasConcept C138885662 @default.
• W2890514385 hasConcept C144237770 @default.
• W2890514385 hasConcept C167729594 @default.
• W2890514385 hasConcept C18903297 @default.
• W2890514385 hasConcept C189950617 @default.
• W2890514385 hasConcept C199343813 @default.
• W2890514385 hasConcept C202444582 @default.
• W2890514385 hasConcept C21547014 @default.
• W2890514385 hasConcept C2524010 @default.
• W2890514385 hasConcept C2777299769 @default.
• W2890514385 hasConcept C2777686260 @default.
• W2890514385 hasConcept C33923547 @default.
• W2890514385 hasConcept C41008148 @default.
• W2890514385 hasConcept C71924100 @default.
• W2890514385 hasConcept C84170951 @default.
• W2890514385 hasConcept C86803240 @default.
• W2890514385 hasConcept C9376300 @default.
• W2890514385 hasConceptScore W2890514385C111472728 @default.
• W2890514385 hasConceptScore W2890514385C125773388 @default.
• W2890514385 hasConceptScore W2890514385C127413603 @default.
• W2890514385 hasConceptScore W2890514385C134306372 @default.
• W2890514385 hasConceptScore W2890514385C136119220 @default.
• W2890514385 hasConceptScore W2890514385C137335462 @default.
• W2890514385 hasConceptScore W2890514385C138885662 @default.
• W2890514385 hasConceptScore W2890514385C144237770 @default.
• W2890514385 hasConceptScore W2890514385C167729594 @default.
• W2890514385 hasConceptScore W2890514385C18903297 @default.
• W2890514385 hasConceptScore W2890514385C189950617 @default.
• W2890514385 hasConceptScore W2890514385C199343813 @default.
• W2890514385 hasConceptScore W2890514385C202444582 @default.
• W2890514385 hasConceptScore W2890514385C21547014 @default.
• W2890514385 hasConceptScore W2890514385C2524010 @default.
• W2890514385 hasConceptScore W2890514385C2777299769 @default.
• W2890514385 hasConceptScore W2890514385C2777686260 @default.
• W2890514385 hasConceptScore W2890514385C33923547 @default.
• W2890514385 hasConceptScore W2890514385C41008148 @default.
• W2890514385 hasConceptScore W2890514385C71924100 @default.
• W2890514385 hasConceptScore W2890514385C84170951 @default.
• W2890514385 hasConceptScore W2890514385C86803240 @default.
• W2890514385 hasConceptScore W2890514385C9376300 @default.
• W2890514385 hasLocation W28905143851 @default.
• W2890514385 hasOpenAccess W2890514385 @default.
• W2890514385 hasPrimaryLocation W28905143851 @default.
• W2890514385 hasRelatedWork W137828107 @default.
• W2890514385 hasRelatedWork W1423953440 @default.
• W2890514385 hasRelatedWork W1511783249 @default.
• W2890514385 hasRelatedWork W1600624669 @default.
• W2890514385 hasRelatedWork W1969802940 @default.
• W2890514385 hasRelatedWork W1984315394 @default.
• W2890514385 hasRelatedWork W2002442167 @default.
• W2890514385 hasRelatedWork W2004326123 @default.
• W2890514385 hasRelatedWork W2018304653 @default.
• W2890514385 hasRelatedWork W2052185876 @default.
• W2890514385 hasRelatedWork W2080219432 @default.
• W2890514385 hasRelatedWork W2094451838 @default.
• W2890514385 hasRelatedWork W2138601456 @default.
• W2890514385 hasRelatedWork W2595248054 @default.
• W2890514385 hasRelatedWork W2601524513 @default.
• W2890514385 hasRelatedWork W2801429813 @default.
• W2890514385 hasRelatedWork W2889522553 @default.
• W2890514385 hasRelatedWork W3100227666 @default.

• next