Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003264256> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3003264256 abstract "In this work, a natural sequel of cite{MaPi1}, we establish new functorial connections and adjunctions involving the notions of {em Institution} and $pi$-{em Institution} and define a new concept of generalized {em Room} (cite{Diac}). We provide also some applications of these results to abstract logics, mainly to the setting of {em propositional logics} and {em filter pairs} (cite{AMP1}). Finally, we introduce and explore a device from predicate logic device in the setting of institution theory: skolemization." @default.
- W3003264256 created "2020-02-07" @default.
- W3003264256 creator A5038574176 @default.
- W3003264256 creator A5058241090 @default.
- W3003264256 creator A5066239148 @default.
- W3003264256 creator A5082094963 @default.
- W3003264256 date "2020-02-02" @default.
- W3003264256 modified "2023-09-27" @default.
- W3003264256 title "Connecting Abstract Logics and adjunctions between Institutions and $pi$-Institutions" @default.
- W3003264256 hasPublicationYear "2020" @default.
- W3003264256 type Work @default.
- W3003264256 sameAs 3003264256 @default.
- W3003264256 citedByCount "0" @default.
- W3003264256 crossrefType "posted-content" @default.
- W3003264256 hasAuthorship W3003264256A5038574176 @default.
- W3003264256 hasAuthorship W3003264256A5058241090 @default.
- W3003264256 hasAuthorship W3003264256A5066239148 @default.
- W3003264256 hasAuthorship W3003264256A5082094963 @default.
- W3003264256 hasConcept C118615104 @default.
- W3003264256 hasConcept C121332964 @default.
- W3003264256 hasConcept C136119220 @default.
- W3003264256 hasConcept C140146324 @default.
- W3003264256 hasConcept C17744445 @default.
- W3003264256 hasConcept C18762648 @default.
- W3003264256 hasConcept C199343813 @default.
- W3003264256 hasConcept C199360897 @default.
- W3003264256 hasConcept C199539241 @default.
- W3003264256 hasConcept C202444582 @default.
- W3003264256 hasConcept C2777686260 @default.
- W3003264256 hasConcept C2780510313 @default.
- W3003264256 hasConcept C33923547 @default.
- W3003264256 hasConcept C41008148 @default.
- W3003264256 hasConcept C69562738 @default.
- W3003264256 hasConcept C71924100 @default.
- W3003264256 hasConcept C97355855 @default.
- W3003264256 hasConceptScore W3003264256C118615104 @default.
- W3003264256 hasConceptScore W3003264256C121332964 @default.
- W3003264256 hasConceptScore W3003264256C136119220 @default.
- W3003264256 hasConceptScore W3003264256C140146324 @default.
- W3003264256 hasConceptScore W3003264256C17744445 @default.
- W3003264256 hasConceptScore W3003264256C18762648 @default.
- W3003264256 hasConceptScore W3003264256C199343813 @default.
- W3003264256 hasConceptScore W3003264256C199360897 @default.
- W3003264256 hasConceptScore W3003264256C199539241 @default.
- W3003264256 hasConceptScore W3003264256C202444582 @default.
- W3003264256 hasConceptScore W3003264256C2777686260 @default.
- W3003264256 hasConceptScore W3003264256C2780510313 @default.
- W3003264256 hasConceptScore W3003264256C33923547 @default.
- W3003264256 hasConceptScore W3003264256C41008148 @default.
- W3003264256 hasConceptScore W3003264256C69562738 @default.
- W3003264256 hasConceptScore W3003264256C71924100 @default.
- W3003264256 hasConceptScore W3003264256C97355855 @default.
- W3003264256 hasLocation W30032642561 @default.
- W3003264256 hasOpenAccess W3003264256 @default.
- W3003264256 hasPrimaryLocation W30032642561 @default.
- W3003264256 hasRelatedWork W124229871 @default.
- W3003264256 hasRelatedWork W127064451 @default.
- W3003264256 hasRelatedWork W1551030425 @default.
- W3003264256 hasRelatedWork W16267316 @default.
- W3003264256 hasRelatedWork W1971410956 @default.
- W3003264256 hasRelatedWork W2002305610 @default.
- W3003264256 hasRelatedWork W2054814753 @default.
- W3003264256 hasRelatedWork W2061319273 @default.
- W3003264256 hasRelatedWork W2065267682 @default.
- W3003264256 hasRelatedWork W2090735044 @default.
- W3003264256 hasRelatedWork W2127637036 @default.
- W3003264256 hasRelatedWork W2559154662 @default.
- W3003264256 hasRelatedWork W2931800015 @default.
- W3003264256 hasRelatedWork W3047411451 @default.
- W3003264256 hasRelatedWork W3080494622 @default.
- W3003264256 hasRelatedWork W3188738353 @default.
- W3003264256 hasRelatedWork W3203933509 @default.
- W3003264256 hasRelatedWork W60391671 @default.
- W3003264256 hasRelatedWork W628027901 @default.
- W3003264256 hasRelatedWork W94462032 @default.
- W3003264256 isParatext "false" @default.
- W3003264256 isRetracted "false" @default.
- W3003264256 magId "3003264256" @default.
- W3003264256 workType "article" @default.