Matches in SemOpenAlex for { <https://semopenalex.org/work/W2234450894> ?p ?o ?g. }
- W2234450894 endingPage "663" @default.
- W2234450894 startingPage "641" @default.
- W2234450894 abstract "Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics. Structural completeness and decidability of the set of admissible rules are also shown to be preserved, the latter with no penalty on the time complexity. Examples are provided for the meet-combination of intermediate and modal logics." @default.
- W2234450894 created "2016-06-24" @default.
- W2234450894 creator A5008640428 @default.
- W2234450894 creator A5020274709 @default.
- W2234450894 creator A5072300699 @default.
- W2234450894 date "2016-08-17" @default.
- W2234450894 modified "2023-10-05" @default.
- W2234450894 title "PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS" @default.
- W2234450894 cites W1182848269 @default.
- W2234450894 cites W1524655177 @default.
- W2234450894 cites W1973489930 @default.
- W2234450894 cites W1982890778 @default.
- W2234450894 cites W2008453494 @default.
- W2234450894 cites W2011292370 @default.
- W2234450894 cites W2021587896 @default.
- W2234450894 cites W2022355674 @default.
- W2234450894 cites W2023712626 @default.
- W2234450894 cites W2026707065 @default.
- W2234450894 cites W2027926524 @default.
- W2234450894 cites W2028452607 @default.
- W2234450894 cites W2036986624 @default.
- W2234450894 cites W2041998373 @default.
- W2234450894 cites W2042927584 @default.
- W2234450894 cites W2046526482 @default.
- W2234450894 cites W2060709836 @default.
- W2234450894 cites W2068279079 @default.
- W2234450894 cites W2069051622 @default.
- W2234450894 cites W2076964160 @default.
- W2234450894 cites W2077847391 @default.
- W2234450894 cites W2081160992 @default.
- W2234450894 cites W2081329681 @default.
- W2234450894 cites W2102729667 @default.
- W2234450894 cites W2106716518 @default.
- W2234450894 cites W2108756969 @default.
- W2234450894 cites W2110279188 @default.
- W2234450894 cites W2111570288 @default.
- W2234450894 cites W2126852230 @default.
- W2234450894 cites W2128311727 @default.
- W2234450894 cites W2154755287 @default.
- W2234450894 cites W2158627825 @default.
- W2234450894 cites W2170146694 @default.
- W2234450894 cites W4235944370 @default.
- W2234450894 cites W4238979413 @default.
- W2234450894 cites W4251128080 @default.
- W2234450894 cites W4251206353 @default.
- W2234450894 cites W96850785 @default.
- W2234450894 doi "https://doi.org/10.1017/s1755020316000241" @default.
- W2234450894 hasPublicationYear "2016" @default.
- W2234450894 type Work @default.
- W2234450894 sameAs 2234450894 @default.
- W2234450894 citedByCount "3" @default.
- W2234450894 countsByYear W22344508942020 @default.
- W2234450894 countsByYear W22344508942021 @default.
- W2234450894 crossrefType "journal-article" @default.
- W2234450894 hasAuthorship W2234450894A5008640428 @default.
- W2234450894 hasAuthorship W2234450894A5020274709 @default.
- W2234450894 hasAuthorship W2234450894A5072300699 @default.
- W2234450894 hasBestOaLocation W22344508942 @default.
- W2234450894 hasConcept C118615104 @default.
- W2234450894 hasConcept C12426560 @default.
- W2234450894 hasConcept C134306372 @default.
- W2234450894 hasConcept C136119220 @default.
- W2234450894 hasConcept C153269930 @default.
- W2234450894 hasConcept C154945302 @default.
- W2234450894 hasConcept C17231256 @default.
- W2234450894 hasConcept C177264268 @default.
- W2234450894 hasConcept C185592680 @default.
- W2234450894 hasConcept C188027245 @default.
- W2234450894 hasConcept C199343813 @default.
- W2234450894 hasConcept C199360897 @default.
- W2234450894 hasConcept C202444582 @default.
- W2234450894 hasConcept C2524010 @default.
- W2234450894 hasConcept C27508121 @default.
- W2234450894 hasConcept C2777212361 @default.
- W2234450894 hasConcept C2777686260 @default.
- W2234450894 hasConcept C33923547 @default.
- W2234450894 hasConcept C41008148 @default.
- W2234450894 hasConcept C71139939 @default.
- W2234450894 hasConcept C71924100 @default.
- W2234450894 hasConceptScore W2234450894C118615104 @default.
- W2234450894 hasConceptScore W2234450894C12426560 @default.
- W2234450894 hasConceptScore W2234450894C134306372 @default.
- W2234450894 hasConceptScore W2234450894C136119220 @default.
- W2234450894 hasConceptScore W2234450894C153269930 @default.
- W2234450894 hasConceptScore W2234450894C154945302 @default.
- W2234450894 hasConceptScore W2234450894C17231256 @default.
- W2234450894 hasConceptScore W2234450894C177264268 @default.
- W2234450894 hasConceptScore W2234450894C185592680 @default.
- W2234450894 hasConceptScore W2234450894C188027245 @default.
- W2234450894 hasConceptScore W2234450894C199343813 @default.
- W2234450894 hasConceptScore W2234450894C199360897 @default.
- W2234450894 hasConceptScore W2234450894C202444582 @default.
- W2234450894 hasConceptScore W2234450894C2524010 @default.
- W2234450894 hasConceptScore W2234450894C27508121 @default.
- W2234450894 hasConceptScore W2234450894C2777212361 @default.
- W2234450894 hasConceptScore W2234450894C2777686260 @default.
- W2234450894 hasConceptScore W2234450894C33923547 @default.
- W2234450894 hasConceptScore W2234450894C41008148 @default.