Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973489930> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1973489930 endingPage "672" @default.
- W1973489930 startingPage "652" @default.
- W1973489930 abstract "In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type." @default.
- W1973489930 created "2016-06-24" @default.
- W1973489930 creator A5061498898 @default.
- W1973489930 creator A5087051979 @default.
- W1973489930 date "2014-02-01" @default.
- W1973489930 modified "2023-09-30" @default.
- W1973489930 title "On unification and admissible rules in Gabbay–de Jongh logics" @default.
- W1973489930 cites W1524655177 @default.
- W1973489930 cites W1982890778 @default.
- W1973489930 cites W1984575571 @default.
- W1973489930 cites W1989441839 @default.
- W1973489930 cites W2000217311 @default.
- W1973489930 cites W2014030742 @default.
- W1973489930 cites W2019860072 @default.
- W1973489930 cites W2023712626 @default.
- W1973489930 cites W2046526482 @default.
- W1973489930 cites W2056475779 @default.
- W1973489930 cites W2069051622 @default.
- W1973489930 cites W2075172817 @default.
- W1973489930 cites W2077847391 @default.
- W1973489930 cites W2081160992 @default.
- W1973489930 cites W2106716518 @default.
- W1973489930 cites W2108756969 @default.
- W1973489930 cites W2121093145 @default.
- W1973489930 cites W2126852230 @default.
- W1973489930 cites W2159310931 @default.
- W1973489930 cites W2166908479 @default.
- W1973489930 cites W2170146694 @default.
- W1973489930 doi "https://doi.org/10.1016/j.apal.2013.09.003" @default.
- W1973489930 hasPublicationYear "2014" @default.
- W1973489930 type Work @default.
- W1973489930 sameAs 1973489930 @default.
- W1973489930 citedByCount "12" @default.
- W1973489930 countsByYear W19734899302012 @default.
- W1973489930 countsByYear W19734899302013 @default.
- W1973489930 countsByYear W19734899302014 @default.
- W1973489930 countsByYear W19734899302015 @default.
- W1973489930 countsByYear W19734899302016 @default.
- W1973489930 countsByYear W19734899302017 @default.
- W1973489930 countsByYear W19734899302018 @default.
- W1973489930 crossrefType "journal-article" @default.
- W1973489930 hasAuthorship W1973489930A5061498898 @default.
- W1973489930 hasAuthorship W1973489930A5087051979 @default.
- W1973489930 hasBestOaLocation W19734899301 @default.
- W1973489930 hasConcept C118615104 @default.
- W1973489930 hasConcept C12426560 @default.
- W1973489930 hasConcept C136119220 @default.
- W1973489930 hasConcept C18903297 @default.
- W1973489930 hasConcept C199360897 @default.
- W1973489930 hasConcept C202444582 @default.
- W1973489930 hasConcept C2524010 @default.
- W1973489930 hasConcept C2777299769 @default.
- W1973489930 hasConcept C2778003309 @default.
- W1973489930 hasConcept C33923547 @default.
- W1973489930 hasConcept C41008148 @default.
- W1973489930 hasConcept C86803240 @default.
- W1973489930 hasConcept C96146094 @default.
- W1973489930 hasConceptScore W1973489930C118615104 @default.
- W1973489930 hasConceptScore W1973489930C12426560 @default.
- W1973489930 hasConceptScore W1973489930C136119220 @default.
- W1973489930 hasConceptScore W1973489930C18903297 @default.
- W1973489930 hasConceptScore W1973489930C199360897 @default.
- W1973489930 hasConceptScore W1973489930C202444582 @default.
- W1973489930 hasConceptScore W1973489930C2524010 @default.
- W1973489930 hasConceptScore W1973489930C2777299769 @default.
- W1973489930 hasConceptScore W1973489930C2778003309 @default.
- W1973489930 hasConceptScore W1973489930C33923547 @default.
- W1973489930 hasConceptScore W1973489930C41008148 @default.
- W1973489930 hasConceptScore W1973489930C86803240 @default.
- W1973489930 hasConceptScore W1973489930C96146094 @default.
- W1973489930 hasIssue "2" @default.
- W1973489930 hasLocation W19734899301 @default.
- W1973489930 hasLocation W19734899302 @default.
- W1973489930 hasLocation W19734899303 @default.
- W1973489930 hasOpenAccess W1973489930 @default.
- W1973489930 hasPrimaryLocation W19734899301 @default.
- W1973489930 hasRelatedWork W1992729023 @default.
- W1973489930 hasRelatedWork W1996319902 @default.
- W1973489930 hasRelatedWork W2019004897 @default.
- W1973489930 hasRelatedWork W2146511016 @default.
- W1973489930 hasRelatedWork W2905659518 @default.
- W1973489930 hasRelatedWork W2952577182 @default.
- W1973489930 hasRelatedWork W2962682765 @default.
- W1973489930 hasRelatedWork W2963526848 @default.
- W1973489930 hasRelatedWork W2966199516 @default.
- W1973489930 hasRelatedWork W3198746076 @default.
- W1973489930 hasVolume "165" @default.
- W1973489930 isParatext "false" @default.
- W1973489930 isRetracted "false" @default.
- W1973489930 magId "1973489930" @default.
- W1973489930 workType "article" @default.