Matches in SemOpenAlex for { <https://semopenalex.org/work/W2787226031> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2787226031 abstract "In Beziau (Log Log Philos 15:99–111, 2006) a logic (mathbf {Z}) was defined with the help of the modal logic (mathbf {S5}). In it, the negation operator is understood as meaning ‘it is not necessary that’. The strong soundness–completeness result for (mathbf {Z}) with respect to a version of Kripke semantics was also given there. Following the formulation of (mathbf {Z}) we can talk about (mathbf {Z})-like logics or Beziau-style logics if we consider other modal logics instead of (mathbf {S5})—such a possibility has been mentioned in [1]. The correspondence result between modal logics and respective Beziau-style logics has been generalised for the case of normal logics naturally leading to soundness–completeness results [see Marcos (Log Anal 48(189–192):279–300, 2005) and Mruczek-Nasieniewska and Nasieniewski (Bull Sect Log 34(4):229–248, 2005)]. In Mruczek-Nasieniewska and Nasieniewski (Bull Sect Log 37(3–4):185–196, 2008), (Bull Sect Log 38(3–4):189–203, 2009) some partial results for non-normal cases are given. In the present paper we try to give similar but more general correspondence results for the non-normal-worlds case. To achieve this aim we have to enrich original Beziau’s language with an additional negation operator understood as ‘it is necessary that not’." @default.
- W2787226031 created "2018-02-23" @default.
- W2787226031 creator A5046394170 @default.
- W2787226031 creator A5063530476 @default.
- W2787226031 date "2018-02-10" @default.
- W2787226031 modified "2023-09-24" @default.
- W2787226031 title "A Characterisation of Some $$mathbf {Z}$$ Z -Like Logics" @default.
- W2787226031 cites W1990115729 @default.
- W2787226031 cites W2011354385 @default.
- W2787226031 cites W2082884384 @default.
- W2787226031 cites W3126734519 @default.
- W2787226031 doi "https://doi.org/10.1007/s11787-018-0184-9" @default.
- W2787226031 hasPublicationYear "2018" @default.
- W2787226031 type Work @default.
- W2787226031 sameAs 2787226031 @default.
- W2787226031 citedByCount "3" @default.
- W2787226031 countsByYear W27872260312017 @default.
- W2787226031 countsByYear W27872260312018 @default.
- W2787226031 countsByYear W27872260312020 @default.
- W2787226031 crossrefType "journal-article" @default.
- W2787226031 hasAuthorship W2787226031A5046394170 @default.
- W2787226031 hasAuthorship W2787226031A5063530476 @default.
- W2787226031 hasBestOaLocation W27872260311 @default.
- W2787226031 hasConcept C104317684 @default.
- W2787226031 hasConcept C114614502 @default.
- W2787226031 hasConcept C118615104 @default.
- W2787226031 hasConcept C134306372 @default.
- W2787226031 hasConcept C138885662 @default.
- W2787226031 hasConcept C158448853 @default.
- W2787226031 hasConcept C17020691 @default.
- W2787226031 hasConcept C17231256 @default.
- W2787226031 hasConcept C185592680 @default.
- W2787226031 hasConcept C188027245 @default.
- W2787226031 hasConcept C2185349 @default.
- W2787226031 hasConcept C27508121 @default.
- W2787226031 hasConcept C33923547 @default.
- W2787226031 hasConcept C39920170 @default.
- W2787226031 hasConcept C41895202 @default.
- W2787226031 hasConcept C42011625 @default.
- W2787226031 hasConcept C5263885 @default.
- W2787226031 hasConcept C55493867 @default.
- W2787226031 hasConcept C58166 @default.
- W2787226031 hasConcept C71139939 @default.
- W2787226031 hasConcept C78344899 @default.
- W2787226031 hasConcept C86339819 @default.
- W2787226031 hasConcept C86602344 @default.
- W2787226031 hasConceptScore W2787226031C104317684 @default.
- W2787226031 hasConceptScore W2787226031C114614502 @default.
- W2787226031 hasConceptScore W2787226031C118615104 @default.
- W2787226031 hasConceptScore W2787226031C134306372 @default.
- W2787226031 hasConceptScore W2787226031C138885662 @default.
- W2787226031 hasConceptScore W2787226031C158448853 @default.
- W2787226031 hasConceptScore W2787226031C17020691 @default.
- W2787226031 hasConceptScore W2787226031C17231256 @default.
- W2787226031 hasConceptScore W2787226031C185592680 @default.
- W2787226031 hasConceptScore W2787226031C188027245 @default.
- W2787226031 hasConceptScore W2787226031C2185349 @default.
- W2787226031 hasConceptScore W2787226031C27508121 @default.
- W2787226031 hasConceptScore W2787226031C33923547 @default.
- W2787226031 hasConceptScore W2787226031C39920170 @default.
- W2787226031 hasConceptScore W2787226031C41895202 @default.
- W2787226031 hasConceptScore W2787226031C42011625 @default.
- W2787226031 hasConceptScore W2787226031C5263885 @default.
- W2787226031 hasConceptScore W2787226031C55493867 @default.
- W2787226031 hasConceptScore W2787226031C58166 @default.
- W2787226031 hasConceptScore W2787226031C71139939 @default.
- W2787226031 hasConceptScore W2787226031C78344899 @default.
- W2787226031 hasConceptScore W2787226031C86339819 @default.
- W2787226031 hasConceptScore W2787226031C86602344 @default.
- W2787226031 hasLocation W27872260311 @default.
- W2787226031 hasOpenAccess W2787226031 @default.
- W2787226031 hasPrimaryLocation W27872260311 @default.
- W2787226031 hasRelatedWork W125654268 @default.
- W2787226031 hasRelatedWork W1612228220 @default.
- W2787226031 hasRelatedWork W165237288 @default.
- W2787226031 hasRelatedWork W1667825161 @default.
- W2787226031 hasRelatedWork W1977030765 @default.
- W2787226031 hasRelatedWork W2010968193 @default.
- W2787226031 hasRelatedWork W2082710444 @default.
- W2787226031 hasRelatedWork W2135415018 @default.
- W2787226031 hasRelatedWork W2151083705 @default.
- W2787226031 hasRelatedWork W2171784431 @default.
- W2787226031 hasRelatedWork W2278216746 @default.
- W2787226031 hasRelatedWork W2334111423 @default.
- W2787226031 hasRelatedWork W2463689481 @default.
- W2787226031 hasRelatedWork W2810587652 @default.
- W2787226031 hasRelatedWork W29657123 @default.
- W2787226031 hasRelatedWork W3049549325 @default.
- W2787226031 hasRelatedWork W3096465156 @default.
- W2787226031 hasRelatedWork W3196602499 @default.
- W2787226031 hasRelatedWork W86458471 @default.
- W2787226031 hasRelatedWork W2464217860 @default.
- W2787226031 isParatext "false" @default.
- W2787226031 isRetracted "false" @default.
- W2787226031 magId "2787226031" @default.
- W2787226031 workType "article" @default.