Matches in SemOpenAlex for { <https://semopenalex.org/work/W4324275793> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4324275793 abstract "Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику остальных логик решетки. In this paper, we study the tabular intuitionistic logics semantically characterized by the Kripke frames of the depths no greater than 3 and widths no greater than 2. The axiomatization of such basic logics is given; the lattice generated by them is constructed. Known methods make it possible, using given axiomatization, to specify the axiomatic of the remaining logics from the lattice." @default.
- W4324275793 created "2023-03-16" @default.
- W4324275793 creator A5010092880 @default.
- W4324275793 creator A5019969978 @default.
- W4324275793 date "2017-12-13" @default.
- W4324275793 modified "2023-09-30" @default.
- W4324275793 title "AXIOMATIZATION OF INTUITIONISTIC LOGICS DEFINED BY SMALL FRAMES" @default.
- W4324275793 doi "https://doi.org/10.25587/svfu.2017.1.8433" @default.
- W4324275793 hasPublicationYear "2017" @default.
- W4324275793 type Work @default.
- W4324275793 citedByCount "0" @default.
- W4324275793 crossrefType "journal-article" @default.
- W4324275793 hasAuthorship W4324275793A5010092880 @default.
- W4324275793 hasAuthorship W4324275793A5019969978 @default.
- W4324275793 hasBestOaLocation W43242757931 @default.
- W4324275793 hasConcept C102993220 @default.
- W4324275793 hasConcept C118615104 @default.
- W4324275793 hasConcept C121332964 @default.
- W4324275793 hasConcept C136119220 @default.
- W4324275793 hasConcept C154945302 @default.
- W4324275793 hasConcept C160131679 @default.
- W4324275793 hasConcept C167729594 @default.
- W4324275793 hasConcept C178421362 @default.
- W4324275793 hasConcept C1883856 @default.
- W4324275793 hasConcept C199343813 @default.
- W4324275793 hasConcept C202444582 @default.
- W4324275793 hasConcept C24890656 @default.
- W4324275793 hasConcept C2524010 @default.
- W4324275793 hasConcept C2777686260 @default.
- W4324275793 hasConcept C2781204021 @default.
- W4324275793 hasConcept C33203268 @default.
- W4324275793 hasConcept C33923547 @default.
- W4324275793 hasConcept C41008148 @default.
- W4324275793 hasConcept C42011625 @default.
- W4324275793 hasConcept C5263885 @default.
- W4324275793 hasConcept C58166 @default.
- W4324275793 hasConcept C69562738 @default.
- W4324275793 hasConcept C71924100 @default.
- W4324275793 hasConcept C80444323 @default.
- W4324275793 hasConcept C86602344 @default.
- W4324275793 hasConcept C98224912 @default.
- W4324275793 hasConceptScore W4324275793C102993220 @default.
- W4324275793 hasConceptScore W4324275793C118615104 @default.
- W4324275793 hasConceptScore W4324275793C121332964 @default.
- W4324275793 hasConceptScore W4324275793C136119220 @default.
- W4324275793 hasConceptScore W4324275793C154945302 @default.
- W4324275793 hasConceptScore W4324275793C160131679 @default.
- W4324275793 hasConceptScore W4324275793C167729594 @default.
- W4324275793 hasConceptScore W4324275793C178421362 @default.
- W4324275793 hasConceptScore W4324275793C1883856 @default.
- W4324275793 hasConceptScore W4324275793C199343813 @default.
- W4324275793 hasConceptScore W4324275793C202444582 @default.
- W4324275793 hasConceptScore W4324275793C24890656 @default.
- W4324275793 hasConceptScore W4324275793C2524010 @default.
- W4324275793 hasConceptScore W4324275793C2777686260 @default.
- W4324275793 hasConceptScore W4324275793C2781204021 @default.
- W4324275793 hasConceptScore W4324275793C33203268 @default.
- W4324275793 hasConceptScore W4324275793C33923547 @default.
- W4324275793 hasConceptScore W4324275793C41008148 @default.
- W4324275793 hasConceptScore W4324275793C42011625 @default.
- W4324275793 hasConceptScore W4324275793C5263885 @default.
- W4324275793 hasConceptScore W4324275793C58166 @default.
- W4324275793 hasConceptScore W4324275793C69562738 @default.
- W4324275793 hasConceptScore W4324275793C71924100 @default.
- W4324275793 hasConceptScore W4324275793C80444323 @default.
- W4324275793 hasConceptScore W4324275793C86602344 @default.
- W4324275793 hasConceptScore W4324275793C98224912 @default.
- W4324275793 hasIssue "1" @default.
- W4324275793 hasLocation W43242757931 @default.
- W4324275793 hasOpenAccess W4324275793 @default.
- W4324275793 hasPrimaryLocation W43242757931 @default.
- W4324275793 hasRelatedWork W1968826078 @default.
- W4324275793 hasRelatedWork W1996474321 @default.
- W4324275793 hasRelatedWork W2006614341 @default.
- W4324275793 hasRelatedWork W2061319273 @default.
- W4324275793 hasRelatedWork W2063687250 @default.
- W4324275793 hasRelatedWork W2471253858 @default.
- W4324275793 hasRelatedWork W2482057698 @default.
- W4324275793 hasRelatedWork W2902828820 @default.
- W4324275793 hasRelatedWork W3032338208 @default.
- W4324275793 hasRelatedWork W88232665 @default.
- W4324275793 isParatext "false" @default.
- W4324275793 isRetracted "false" @default.
- W4324275793 workType "article" @default.