FRINK Linked Data Fragments server

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

• W2087074734 endingPage "45" @default.
• W2087074734 startingPage "21" @default.
• W2087074734 abstract "We study a modal language for negative operators—an intuitionistic-like negation and its paraconsistent dual—added to (bounded) distributive lattices. For each non-classical negation an extra operator is hereby adjoined in order to allow for standard logical inferences to be opportunely restored. We present abstract characterizations and exhibit the main properties of each kind of negative modality, as well as of the associated connectives that express consistency and determinedness at the object-language level. Appropriate sequent-style proof systems and adequate kripke semantics are also introduced, characterizing the minimal normal logic and a few other basic logics containing such negative modalities and their companions." @default.
• W2087074734 created "2016-06-24" @default.
• W2087074734 creator A5010971396 @default.
• W2087074734 creator A5029857046 @default.
• W2087074734 date "2014-01-01" @default.
• W2087074734 modified "2023-09-29" @default.
• W2087074734 title "Negative Modalities, Consistency and Determinedness" @default.
• W2087074734 cites W1481398220 @default.
• W2087074734 cites W1557552222 @default.
• W2087074734 cites W2038185098 @default.
• W2087074734 cites W2058080516 @default.
• W2087074734 cites W2067638902 @default.
• W2087074734 cites W2068658258 @default.
• W2087074734 cites W2130817416 @default.
• W2087074734 cites W2155776066 @default.
• W2087074734 doi "https://doi.org/10.1016/j.entcs.2013.12.010" @default.
• W2087074734 hasPublicationYear "2014" @default.
• W2087074734 type Work @default.
• W2087074734 sameAs 2087074734 @default.
• W2087074734 citedByCount "9" @default.
• W2087074734 countsByYear W20870747342016 @default.
• W2087074734 countsByYear W20870747342017 @default.
• W2087074734 countsByYear W20870747342018 @default.
• W2087074734 countsByYear W20870747342020 @default.
• W2087074734 countsByYear W20870747342022 @default.
• W2087074734 countsByYear W20870747342023 @default.
• W2087074734 crossrefType "journal-article" @default.
• W2087074734 hasAuthorship W2087074734A5010971396 @default.
• W2087074734 hasAuthorship W2087074734A5029857046 @default.
• W2087074734 hasBestOaLocation W20870747341 @default.
• W2087074734 hasConcept C102993220 @default.
• W2087074734 hasConcept C104317684 @default.
• W2087074734 hasConcept C108710211 @default.
• W2087074734 hasConcept C11821877 @default.
• W2087074734 hasConcept C118615104 @default.
• W2087074734 hasConcept C136119220 @default.
• W2087074734 hasConcept C154945302 @default.
• W2087074734 hasConcept C158448853 @default.
• W2087074734 hasConcept C160131679 @default.
• W2087074734 hasConcept C17020691 @default.
• W2087074734 hasConcept C178421362 @default.
• W2087074734 hasConcept C184337299 @default.
• W2087074734 hasConcept C185592680 @default.
• W2087074734 hasConcept C188027245 @default.
• W2087074734 hasConcept C199343813 @default.
• W2087074734 hasConcept C199360897 @default.
• W2087074734 hasConcept C202444582 @default.
• W2087074734 hasConcept C203659156 @default.
• W2087074734 hasConcept C2185349 @default.
• W2087074734 hasConcept C2524010 @default.
• W2087074734 hasConcept C27508121 @default.
• W2087074734 hasConcept C2776436953 @default.
• W2087074734 hasConcept C2777686260 @default.
• W2087074734 hasConcept C2780226545 @default.
• W2087074734 hasConcept C28077239 @default.
• W2087074734 hasConcept C33203268 @default.
• W2087074734 hasConcept C33923547 @default.
• W2087074734 hasConcept C41008148 @default.
• W2087074734 hasConcept C55493867 @default.
• W2087074734 hasConcept C65880906 @default.
• W2087074734 hasConcept C71139939 @default.
• W2087074734 hasConcept C71924100 @default.
• W2087074734 hasConcept C78344899 @default.
• W2087074734 hasConcept C86339819 @default.
• W2087074734 hasConcept C89421646 @default.
• W2087074734 hasConceptScore W2087074734C102993220 @default.
• W2087074734 hasConceptScore W2087074734C104317684 @default.
• W2087074734 hasConceptScore W2087074734C108710211 @default.
• W2087074734 hasConceptScore W2087074734C11821877 @default.
• W2087074734 hasConceptScore W2087074734C118615104 @default.
• W2087074734 hasConceptScore W2087074734C136119220 @default.
• W2087074734 hasConceptScore W2087074734C154945302 @default.
• W2087074734 hasConceptScore W2087074734C158448853 @default.
• W2087074734 hasConceptScore W2087074734C160131679 @default.
• W2087074734 hasConceptScore W2087074734C17020691 @default.
• W2087074734 hasConceptScore W2087074734C178421362 @default.
• W2087074734 hasConceptScore W2087074734C184337299 @default.
• W2087074734 hasConceptScore W2087074734C185592680 @default.
• W2087074734 hasConceptScore W2087074734C188027245 @default.
• W2087074734 hasConceptScore W2087074734C199343813 @default.
• W2087074734 hasConceptScore W2087074734C199360897 @default.
• W2087074734 hasConceptScore W2087074734C202444582 @default.
• W2087074734 hasConceptScore W2087074734C203659156 @default.
• W2087074734 hasConceptScore W2087074734C2185349 @default.
• W2087074734 hasConceptScore W2087074734C2524010 @default.
• W2087074734 hasConceptScore W2087074734C27508121 @default.
• W2087074734 hasConceptScore W2087074734C2776436953 @default.
• W2087074734 hasConceptScore W2087074734C2777686260 @default.
• W2087074734 hasConceptScore W2087074734C2780226545 @default.
• W2087074734 hasConceptScore W2087074734C28077239 @default.
• W2087074734 hasConceptScore W2087074734C33203268 @default.
• W2087074734 hasConceptScore W2087074734C33923547 @default.
• W2087074734 hasConceptScore W2087074734C41008148 @default.
• W2087074734 hasConceptScore W2087074734C55493867 @default.
• W2087074734 hasConceptScore W2087074734C65880906 @default.
• W2087074734 hasConceptScore W2087074734C71139939 @default.
• W2087074734 hasConceptScore W2087074734C71924100 @default.
• W2087074734 hasConceptScore W2087074734C78344899 @default.

• next