Matches in SemOpenAlex for { <https://semopenalex.org/work/W2810328916> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2810328916 endingPage "1545" @default.
- W2810328916 startingPage "1525" @default.
- W2810328916 abstract "This is an investigation of the implications of IPC which remain provable when one weakens intuitionistic logic in various ways. The research is concerned with logics with Kripke models as introduced by G. Corsi in 1987, and others like G. Restall, Došen, Visser. This leads to conservativity results for IPC with regard to classes of implications in some of these logics. Moreover, similar results are reached for some weaker subintuitionistic systems with neighborhood models introduced by the authors in 2016. In addition, the relationship between two types of neighborhood models introduced in that work is clarified. This clarification leads also to modal companions for weaker logics." @default.
- W2810328916 created "2018-07-10" @default.
- W2810328916 creator A5058142310 @default.
- W2810328916 creator A5087593654 @default.
- W2810328916 date "2018-12-01" @default.
- W2810328916 modified "2023-10-15" @default.
- W2810328916 title "Subintuitionistic logics and the implications they prove" @default.
- W2810328916 cites W2061319273 @default.
- W2810328916 cites W2069357662 @default.
- W2810328916 cites W2069450525 @default.
- W2810328916 cites W2079600887 @default.
- W2810328916 cites W2590701623 @default.
- W2810328916 cites W2914809917 @default.
- W2810328916 cites W4247269955 @default.
- W2810328916 doi "https://doi.org/10.1016/j.indag.2018.01.013" @default.
- W2810328916 hasPublicationYear "2018" @default.
- W2810328916 type Work @default.
- W2810328916 sameAs 2810328916 @default.
- W2810328916 citedByCount "6" @default.
- W2810328916 countsByYear W28103289162019 @default.
- W2810328916 countsByYear W28103289162021 @default.
- W2810328916 countsByYear W28103289162022 @default.
- W2810328916 countsByYear W28103289162023 @default.
- W2810328916 crossrefType "journal-article" @default.
- W2810328916 hasAuthorship W2810328916A5058142310 @default.
- W2810328916 hasAuthorship W2810328916A5087593654 @default.
- W2810328916 hasConcept C110251889 @default.
- W2810328916 hasConcept C11413529 @default.
- W2810328916 hasConcept C118615104 @default.
- W2810328916 hasConcept C136119220 @default.
- W2810328916 hasConcept C144237770 @default.
- W2810328916 hasConcept C154945302 @default.
- W2810328916 hasConcept C160131679 @default.
- W2810328916 hasConcept C161913894 @default.
- W2810328916 hasConcept C185592680 @default.
- W2810328916 hasConcept C188027245 @default.
- W2810328916 hasConcept C202444582 @default.
- W2810328916 hasConcept C27508121 @default.
- W2810328916 hasConcept C33923547 @default.
- W2810328916 hasConcept C41008148 @default.
- W2810328916 hasConcept C42011625 @default.
- W2810328916 hasConcept C5263885 @default.
- W2810328916 hasConcept C58166 @default.
- W2810328916 hasConcept C71139939 @default.
- W2810328916 hasConcept C86602344 @default.
- W2810328916 hasConceptScore W2810328916C110251889 @default.
- W2810328916 hasConceptScore W2810328916C11413529 @default.
- W2810328916 hasConceptScore W2810328916C118615104 @default.
- W2810328916 hasConceptScore W2810328916C136119220 @default.
- W2810328916 hasConceptScore W2810328916C144237770 @default.
- W2810328916 hasConceptScore W2810328916C154945302 @default.
- W2810328916 hasConceptScore W2810328916C160131679 @default.
- W2810328916 hasConceptScore W2810328916C161913894 @default.
- W2810328916 hasConceptScore W2810328916C185592680 @default.
- W2810328916 hasConceptScore W2810328916C188027245 @default.
- W2810328916 hasConceptScore W2810328916C202444582 @default.
- W2810328916 hasConceptScore W2810328916C27508121 @default.
- W2810328916 hasConceptScore W2810328916C33923547 @default.
- W2810328916 hasConceptScore W2810328916C41008148 @default.
- W2810328916 hasConceptScore W2810328916C42011625 @default.
- W2810328916 hasConceptScore W2810328916C5263885 @default.
- W2810328916 hasConceptScore W2810328916C58166 @default.
- W2810328916 hasConceptScore W2810328916C71139939 @default.
- W2810328916 hasConceptScore W2810328916C86602344 @default.
- W2810328916 hasIssue "6" @default.
- W2810328916 hasLocation W28103289161 @default.
- W2810328916 hasOpenAccess W2810328916 @default.
- W2810328916 hasPrimaryLocation W28103289161 @default.
- W2810328916 hasRelatedWork W1654394411 @default.
- W2810328916 hasRelatedWork W2019813941 @default.
- W2810328916 hasRelatedWork W2024300722 @default.
- W2810328916 hasRelatedWork W2042193210 @default.
- W2810328916 hasRelatedWork W2062728934 @default.
- W2810328916 hasRelatedWork W2064029774 @default.
- W2810328916 hasRelatedWork W2077061463 @default.
- W2810328916 hasRelatedWork W2352549085 @default.
- W2810328916 hasRelatedWork W2482057698 @default.
- W2810328916 hasRelatedWork W2612732772 @default.
- W2810328916 hasVolume "29" @default.
- W2810328916 isParatext "false" @default.
- W2810328916 isRetracted "false" @default.
- W2810328916 magId "2810328916" @default.
- W2810328916 workType "article" @default.