FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2810587652> ?p ?o ?g. }

• W2810587652 abstract "In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics (see [8] and [9]). In (Došen; [2]) a logic N has been investigated in the language with negation; implication; conjunction and disjunction by axioms of positive intuitionistic logic; the right-to-left part of the second de Morgan law; and the rules of modus ponens and contraposition. From the semantical point of view the negation used by Došen is the modal operator of impossibility. It is known this operator is a characteristic of the modal interpretation of intuitionistic negation (see [3; p. 300]). In the present paper we consider an extension of N denoted by N+. We will prove that every extension of N+ that is closed under the same rules as N+; corresponds to a regular logic being an extension of the regular deontic logic D21 (see [4] and [13]). The proved correspondence allows to obtain from soundnesscompleteness result for any given regular logic containing D2, similar adequacy theorem for the respective extension of the logic N+." @default.
• W2810587652 created "2018-07-10" @default.
• W2810587652 creator A5046394170 @default.
• W2810587652 creator A5063530476 @default.
• W2810587652 date "2017-12-30" @default.
• W2810587652 modified "2023-09-30" @default.
• W2810587652 title "Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2" @default.
• W2810587652 cites W165237288 @default.
• W2810587652 cites W2082884384 @default.
• W2810587652 cites W2139733437 @default.
• W2810587652 cites W2142636279 @default.
• W2810587652 cites W2143620943 @default.
• W2810587652 cites W2187685136 @default.
• W2810587652 cites W2334111423 @default.
• W2810587652 cites W2483933214 @default.
• W2810587652 cites W2787226031 @default.
• W2810587652 cites W2949343408 @default.
• W2810587652 doi "https://doi.org/10.18778/0138-0680.46.3.4.06" @default.
• W2810587652 hasPublicationYear "2017" @default.
• W2810587652 type Work @default.
• W2810587652 sameAs 2810587652 @default.
• W2810587652 citedByCount "0" @default.
• W2810587652 crossrefType "journal-article" @default.
• W2810587652 hasAuthorship W2810587652A5046394170 @default.
• W2810587652 hasAuthorship W2810587652A5063530476 @default.
• W2810587652 hasBestOaLocation W28105876521 @default.
• W2810587652 hasConcept C102993220 @default.
• W2810587652 hasConcept C11191006 @default.
• W2810587652 hasConcept C114092440 @default.
• W2810587652 hasConcept C118615104 @default.
• W2810587652 hasConcept C136119220 @default.
• W2810587652 hasConcept C138885662 @default.
• W2810587652 hasConcept C150889026 @default.
• W2810587652 hasConcept C154945302 @default.
• W2810587652 hasConcept C167729594 @default.
• W2810587652 hasConcept C178421362 @default.
• W2810587652 hasConcept C185592680 @default.
• W2810587652 hasConcept C188027245 @default.
• W2810587652 hasConcept C199360897 @default.
• W2810587652 hasConcept C202444582 @default.
• W2810587652 hasConcept C2185349 @default.
• W2810587652 hasConcept C2524010 @default.
• W2810587652 hasConcept C27508121 @default.
• W2810587652 hasConcept C2778029271 @default.
• W2810587652 hasConcept C33923547 @default.
• W2810587652 hasConcept C41008148 @default.
• W2810587652 hasConcept C41895202 @default.
• W2810587652 hasConcept C527412718 @default.
• W2810587652 hasConcept C6377922 @default.
• W2810587652 hasConcept C69562738 @default.
• W2810587652 hasConcept C71139939 @default.
• W2810587652 hasConcept C78344899 @default.
• W2810587652 hasConceptScore W2810587652C102993220 @default.
• W2810587652 hasConceptScore W2810587652C11191006 @default.
• W2810587652 hasConceptScore W2810587652C114092440 @default.
• W2810587652 hasConceptScore W2810587652C118615104 @default.
• W2810587652 hasConceptScore W2810587652C136119220 @default.
• W2810587652 hasConceptScore W2810587652C138885662 @default.
• W2810587652 hasConceptScore W2810587652C150889026 @default.
• W2810587652 hasConceptScore W2810587652C154945302 @default.
• W2810587652 hasConceptScore W2810587652C167729594 @default.
• W2810587652 hasConceptScore W2810587652C178421362 @default.
• W2810587652 hasConceptScore W2810587652C185592680 @default.
• W2810587652 hasConceptScore W2810587652C188027245 @default.
• W2810587652 hasConceptScore W2810587652C199360897 @default.
• W2810587652 hasConceptScore W2810587652C202444582 @default.
• W2810587652 hasConceptScore W2810587652C2185349 @default.
• W2810587652 hasConceptScore W2810587652C2524010 @default.
• W2810587652 hasConceptScore W2810587652C27508121 @default.
• W2810587652 hasConceptScore W2810587652C2778029271 @default.
• W2810587652 hasConceptScore W2810587652C33923547 @default.
• W2810587652 hasConceptScore W2810587652C41008148 @default.
• W2810587652 hasConceptScore W2810587652C41895202 @default.
• W2810587652 hasConceptScore W2810587652C527412718 @default.
• W2810587652 hasConceptScore W2810587652C6377922 @default.
• W2810587652 hasConceptScore W2810587652C69562738 @default.
• W2810587652 hasConceptScore W2810587652C71139939 @default.
• W2810587652 hasConceptScore W2810587652C78344899 @default.
• W2810587652 hasLocation W28105876521 @default.
• W2810587652 hasLocation W28105876522 @default.
• W2810587652 hasOpenAccess W2810587652 @default.
• W2810587652 hasPrimaryLocation W28105876521 @default.
• W2810587652 hasRelatedWork W125654268 @default.
• W2810587652 hasRelatedWork W165237288 @default.
• W2810587652 hasRelatedWork W1667825161 @default.
• W2810587652 hasRelatedWork W1868423520 @default.
• W2810587652 hasRelatedWork W192749010 @default.
• W2810587652 hasRelatedWork W1998439738 @default.
• W2810587652 hasRelatedWork W2010968193 @default.
• W2810587652 hasRelatedWork W2035142752 @default.
• W2810587652 hasRelatedWork W2078212736 @default.
• W2810587652 hasRelatedWork W2135415018 @default.
• W2810587652 hasRelatedWork W2150425213 @default.
• W2810587652 hasRelatedWork W2334111423 @default.
• W2810587652 hasRelatedWork W2463834824 @default.
• W2810587652 hasRelatedWork W2593401383 @default.
• W2810587652 hasRelatedWork W2787226031 @default.
• W2810587652 hasRelatedWork W2914809917 @default.
• W2810587652 hasRelatedWork W3016207443 @default.
• W2810587652 hasRelatedWork W312992224 @default.

• next