FRINK Linked Data Fragments server

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

• W3100608543 endingPage "1092" @default.
• W3100608543 startingPage "1073" @default.
• W3100608543 abstract "In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder R, its rough set-based Nelson algebra can be obtained by applying Sendlewski’s well-known construction. We prove that if the set of all R-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by the quasiorder R forms an effective lattice, that is, an algebraic model of the logic E 0, which is characterised by a modal operator grasping the notion of “to be classically valid”. We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder." @default.
• W3100608543 created "2020-11-23" @default.
• W3100608543 creator A5041395713 @default.
• W3100608543 creator A5063053756 @default.
• W3100608543 creator A5091139212 @default.
• W3100608543 date "2012-10-11" @default.
• W3100608543 modified "2023-10-13" @default.
• W3100608543 title "Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders" @default.
• W3100608543 cites W13950548 @default.
• W3100608543 cites W1527374468 @default.
• W3100608543 cites W1535538569 @default.
• W3100608543 cites W1584330960 @default.
• W3100608543 cites W1602202955 @default.
• W3100608543 cites W1968663039 @default.
• W3100608543 cites W1978201126 @default.
• W3100608543 cites W1992056012 @default.
• W3100608543 cites W2007838222 @default.
• W3100608543 cites W2018556718 @default.
• W3100608543 cites W2024666600 @default.
• W3100608543 cites W2039513928 @default.
• W3100608543 cites W2053168571 @default.
• W3100608543 cites W2080173448 @default.
• W3100608543 cites W2144747140 @default.
• W3100608543 cites W3100474991 @default.
• W3100608543 cites W3100832506 @default.
• W3100608543 cites W4245674526 @default.
• W3100608543 cites W4255833381 @default.
• W3100608543 doi "https://doi.org/10.1007/s11225-012-9421-z" @default.
• W3100608543 hasPublicationYear "2012" @default.
• W3100608543 type Work @default.
• W3100608543 sameAs 3100608543 @default.
• W3100608543 citedByCount "21" @default.
• W3100608543 countsByYear W31006085432014 @default.
• W3100608543 countsByYear W31006085432015 @default.
• W3100608543 countsByYear W31006085432016 @default.
• W3100608543 countsByYear W31006085432017 @default.
• W3100608543 countsByYear W31006085432018 @default.
• W3100608543 countsByYear W31006085432019 @default.
• W3100608543 countsByYear W31006085432020 @default.
• W3100608543 countsByYear W31006085432021 @default.
• W3100608543 countsByYear W31006085432022 @default.
• W3100608543 countsByYear W31006085432023 @default.
• W3100608543 crossrefType "journal-article" @default.
• W3100608543 hasAuthorship W3100608543A5041395713 @default.
• W3100608543 hasAuthorship W3100608543A5063053756 @default.
• W3100608543 hasAuthorship W3100608543A5091139212 @default.
• W3100608543 hasBestOaLocation W31006085432 @default.
• W3100608543 hasConcept C111012933 @default.
• W3100608543 hasConcept C111919701 @default.
• W3100608543 hasConcept C118615104 @default.
• W3100608543 hasConcept C119857082 @default.
• W3100608543 hasConcept C121332964 @default.
• W3100608543 hasConcept C134306372 @default.
• W3100608543 hasConcept C136119220 @default.
• W3100608543 hasConcept C154945302 @default.
• W3100608543 hasConcept C17231256 @default.
• W3100608543 hasConcept C177264268 @default.
• W3100608543 hasConcept C178421362 @default.
• W3100608543 hasConcept C182419690 @default.
• W3100608543 hasConcept C185592680 @default.
• W3100608543 hasConcept C188027245 @default.
• W3100608543 hasConcept C199360897 @default.
• W3100608543 hasConcept C200116569 @default.
• W3100608543 hasConcept C202444582 @default.
• W3100608543 hasConcept C2185349 @default.
• W3100608543 hasConcept C24890656 @default.
• W3100608543 hasConcept C27508121 @default.
• W3100608543 hasConcept C2778701210 @default.
• W3100608543 hasConcept C2781204021 @default.
• W3100608543 hasConcept C2781278839 @default.
• W3100608543 hasConcept C33923547 @default.
• W3100608543 hasConcept C41008148 @default.
• W3100608543 hasConcept C58166 @default.
• W3100608543 hasConcept C69562738 @default.
• W3100608543 hasConcept C71139939 @default.
• W3100608543 hasConcept C78344899 @default.
• W3100608543 hasConcept C86523455 @default.
• W3100608543 hasConcept C9376300 @default.
• W3100608543 hasConcept C98045186 @default.
• W3100608543 hasConceptScore W3100608543C111012933 @default.
• W3100608543 hasConceptScore W3100608543C111919701 @default.
• W3100608543 hasConceptScore W3100608543C118615104 @default.
• W3100608543 hasConceptScore W3100608543C119857082 @default.
• W3100608543 hasConceptScore W3100608543C121332964 @default.
• W3100608543 hasConceptScore W3100608543C134306372 @default.
• W3100608543 hasConceptScore W3100608543C136119220 @default.
• W3100608543 hasConceptScore W3100608543C154945302 @default.
• W3100608543 hasConceptScore W3100608543C17231256 @default.
• W3100608543 hasConceptScore W3100608543C177264268 @default.
• W3100608543 hasConceptScore W3100608543C178421362 @default.
• W3100608543 hasConceptScore W3100608543C182419690 @default.
• W3100608543 hasConceptScore W3100608543C185592680 @default.
• W3100608543 hasConceptScore W3100608543C188027245 @default.
• W3100608543 hasConceptScore W3100608543C199360897 @default.
• W3100608543 hasConceptScore W3100608543C200116569 @default.
• W3100608543 hasConceptScore W3100608543C202444582 @default.
• W3100608543 hasConceptScore W3100608543C2185349 @default.
• W3100608543 hasConceptScore W3100608543C24890656 @default.

• next