Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048520665> ?p ?o ?g. }
- W2048520665 endingPage "106" @default.
- W2048520665 startingPage "71" @default.
- W2048520665 abstract "Questions connected with the admissibility of rules of inference and the solvability of the substitution problem for modal and intuitionistic logic are considered in an algebraic framework. The main result is the decidability of the universal theory of the free modal algebra Fω(Grz) extended in signature by adding constants for free generators. As corollaries we obtain: (a) there exists an algorithm for the recognition of admissibility of rules with parameters (hence also without them) in the modal system Grz, (b) the substitution problem for Grz and for the intuitionistic calculus H is decidable, (c) intuitionistic propositional calculus H is decidable with respect to admissibility (a positive solution of Friedman's problem). A semantical criterion for the admissibility of rules of inference in Grz is given." @default.
- W2048520665 created "2016-06-24" @default.
- W2048520665 creator A5016943210 @default.
- W2048520665 date "1990-11-01" @default.
- W2048520665 modified "2023-09-30" @default.
- W2048520665 title "Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus" @default.
- W2048520665 cites W1483298393 @default.
- W2048520665 cites W1524655177 @default.
- W2048520665 cites W1964800937 @default.
- W2048520665 cites W1985931858 @default.
- W2048520665 cites W1989047802 @default.
- W2048520665 cites W1989821064 @default.
- W2048520665 cites W1991153667 @default.
- W2048520665 cites W1999656509 @default.
- W2048520665 cites W2017542140 @default.
- W2048520665 cites W2019740327 @default.
- W2048520665 cites W2046526482 @default.
- W2048520665 cites W2062047612 @default.
- W2048520665 cites W2075277371 @default.
- W2048520665 cites W2081160992 @default.
- W2048520665 cites W2084684966 @default.
- W2048520665 cites W2118313805 @default.
- W2048520665 cites W2143620943 @default.
- W2048520665 cites W2161004731 @default.
- W2048520665 cites W2315064349 @default.
- W2048520665 cites W2397416409 @default.
- W2048520665 cites W4244478014 @default.
- W2048520665 cites W2083299032 @default.
- W2048520665 doi "https://doi.org/10.1016/0168-0072(90)90055-7" @default.
- W2048520665 hasPublicationYear "1990" @default.
- W2048520665 type Work @default.
- W2048520665 sameAs 2048520665 @default.
- W2048520665 citedByCount "33" @default.
- W2048520665 countsByYear W20485206652012 @default.
- W2048520665 countsByYear W20485206652013 @default.
- W2048520665 countsByYear W20485206652014 @default.
- W2048520665 countsByYear W20485206652015 @default.
- W2048520665 countsByYear W20485206652016 @default.
- W2048520665 countsByYear W20485206652020 @default.
- W2048520665 countsByYear W20485206652022 @default.
- W2048520665 crossrefType "journal-article" @default.
- W2048520665 hasAuthorship W2048520665A5016943210 @default.
- W2048520665 hasConcept C118615104 @default.
- W2048520665 hasConcept C136119220 @default.
- W2048520665 hasConcept C153269930 @default.
- W2048520665 hasConcept C154945302 @default.
- W2048520665 hasConcept C178421362 @default.
- W2048520665 hasConcept C185592680 @default.
- W2048520665 hasConcept C188027245 @default.
- W2048520665 hasConcept C199343813 @default.
- W2048520665 hasConcept C199360897 @default.
- W2048520665 hasConcept C202444582 @default.
- W2048520665 hasConcept C27508121 @default.
- W2048520665 hasConcept C2776214188 @default.
- W2048520665 hasConcept C2777686260 @default.
- W2048520665 hasConcept C2778220771 @default.
- W2048520665 hasConcept C33923547 @default.
- W2048520665 hasConcept C3746660 @default.
- W2048520665 hasConcept C41008148 @default.
- W2048520665 hasConcept C69562738 @default.
- W2048520665 hasConcept C71139939 @default.
- W2048520665 hasConcept C71924100 @default.
- W2048520665 hasConceptScore W2048520665C118615104 @default.
- W2048520665 hasConceptScore W2048520665C136119220 @default.
- W2048520665 hasConceptScore W2048520665C153269930 @default.
- W2048520665 hasConceptScore W2048520665C154945302 @default.
- W2048520665 hasConceptScore W2048520665C178421362 @default.
- W2048520665 hasConceptScore W2048520665C185592680 @default.
- W2048520665 hasConceptScore W2048520665C188027245 @default.
- W2048520665 hasConceptScore W2048520665C199343813 @default.
- W2048520665 hasConceptScore W2048520665C199360897 @default.
- W2048520665 hasConceptScore W2048520665C202444582 @default.
- W2048520665 hasConceptScore W2048520665C27508121 @default.
- W2048520665 hasConceptScore W2048520665C2776214188 @default.
- W2048520665 hasConceptScore W2048520665C2777686260 @default.
- W2048520665 hasConceptScore W2048520665C2778220771 @default.
- W2048520665 hasConceptScore W2048520665C33923547 @default.
- W2048520665 hasConceptScore W2048520665C3746660 @default.
- W2048520665 hasConceptScore W2048520665C41008148 @default.
- W2048520665 hasConceptScore W2048520665C69562738 @default.
- W2048520665 hasConceptScore W2048520665C71139939 @default.
- W2048520665 hasConceptScore W2048520665C71924100 @default.
- W2048520665 hasIssue "1" @default.
- W2048520665 hasLocation W20485206651 @default.
- W2048520665 hasOpenAccess W2048520665 @default.
- W2048520665 hasPrimaryLocation W20485206651 @default.
- W2048520665 hasRelatedWork W1963559850 @default.
- W2048520665 hasRelatedWork W1979292891 @default.
- W2048520665 hasRelatedWork W2048520665 @default.
- W2048520665 hasRelatedWork W2074585109 @default.
- W2048520665 hasRelatedWork W2167709741 @default.
- W2048520665 hasRelatedWork W2187936207 @default.
- W2048520665 hasRelatedWork W2372619177 @default.
- W2048520665 hasRelatedWork W2962796546 @default.
- W2048520665 hasRelatedWork W4312105493 @default.
- W2048520665 hasRelatedWork W3149883711 @default.
- W2048520665 hasVolume "50" @default.
- W2048520665 isParatext "false" @default.