FRINK Linked Data Fragments server

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

• W4368318258 endingPage "119" @default.
• W4368318258 startingPage "52" @default.
• W4368318258 abstract "Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts." @default.
• W4368318258 created "2023-05-05" @default.
• W4368318258 creator A5008197317 @default.
• W4368318258 date "2023-01-02" @default.
• W4368318258 modified "2023-09-30" @default.
• W4368318258 title "Fragments of quasi-Nelson: residuation" @default.
• W4368318258 cites W1965682580 @default.
• W4368318258 cites W1972451186 @default.
• W4368318258 cites W1978201126 @default.
• W4368318258 cites W1985294698 @default.
• W4368318258 cites W1987794025 @default.
• W4368318258 cites W1989030813 @default.
• W4368318258 cites W2000140686 @default.
• W4368318258 cites W2007838222 @default.
• W4368318258 cites W2008228064 @default.
• W4368318258 cites W2015741795 @default.
• W4368318258 cites W2034642607 @default.
• W4368318258 cites W2041418362 @default.
• W4368318258 cites W2053168571 @default.
• W4368318258 cites W2083174445 @default.
• W4368318258 cites W2091158126 @default.
• W4368318258 cites W2144447804 @default.
• W4368318258 cites W2950832143 @default.
• W4368318258 cites W2969981807 @default.
• W4368318258 cites W2991124533 @default.
• W4368318258 cites W3014113905 @default.
• W4368318258 cites W3033536095 @default.
• W4368318258 cites W3081703353 @default.
• W4368318258 cites W3082972566 @default.
• W4368318258 cites W3105252723 @default.
• W4368318258 cites W3160119527 @default.
• W4368318258 cites W3178092223 @default.
• W4368318258 cites W3185436550 @default.
• W4368318258 cites W3196497357 @default.
• W4368318258 cites W3196604676 @default.
• W4368318258 cites W4213176047 @default.
• W4368318258 cites W4224056974 @default.
• W4368318258 cites W4239011127 @default.
• W4368318258 cites W4245674526 @default.
• W4368318258 cites W4246761341 @default.
• W4368318258 cites W4252113473 @default.
• W4368318258 cites W4293176479 @default.
• W4368318258 doi "https://doi.org/10.1080/11663081.2023.2203312" @default.
• W4368318258 hasPublicationYear "2023" @default.
• W4368318258 type Work @default.
• W4368318258 citedByCount "1" @default.
• W4368318258 countsByYear W43683182582023 @default.
• W4368318258 crossrefType "journal-article" @default.
• W4368318258 hasAuthorship W4368318258A5008197317 @default.
• W4368318258 hasConcept C102993220 @default.
• W4368318258 hasConcept C105795698 @default.
• W4368318258 hasConcept C111919701 @default.
• W4368318258 hasConcept C118615104 @default.
• W4368318258 hasConcept C134306372 @default.
• W4368318258 hasConcept C136119220 @default.
• W4368318258 hasConcept C136197465 @default.
• W4368318258 hasConcept C144760519 @default.
• W4368318258 hasConcept C167729594 @default.
• W4368318258 hasConcept C178421362 @default.
• W4368318258 hasConcept C199360897 @default.
• W4368318258 hasConcept C202444582 @default.
• W4368318258 hasConcept C206901836 @default.
• W4368318258 hasConcept C2185349 @default.
• W4368318258 hasConcept C2524010 @default.
• W4368318258 hasConcept C2778029271 @default.
• W4368318258 hasConcept C2778701210 @default.
• W4368318258 hasConcept C2780432614 @default.
• W4368318258 hasConcept C28077239 @default.
• W4368318258 hasConcept C33203268 @default.
• W4368318258 hasConcept C33923547 @default.
• W4368318258 hasConcept C41008148 @default.
• W4368318258 hasConcept C86523455 @default.
• W4368318258 hasConcept C9376300 @default.
• W4368318258 hasConcept C98045186 @default.
• W4368318258 hasConceptScore W4368318258C102993220 @default.
• W4368318258 hasConceptScore W4368318258C105795698 @default.
• W4368318258 hasConceptScore W4368318258C111919701 @default.
• W4368318258 hasConceptScore W4368318258C118615104 @default.
• W4368318258 hasConceptScore W4368318258C134306372 @default.
• W4368318258 hasConceptScore W4368318258C136119220 @default.
• W4368318258 hasConceptScore W4368318258C136197465 @default.
• W4368318258 hasConceptScore W4368318258C144760519 @default.
• W4368318258 hasConceptScore W4368318258C167729594 @default.
• W4368318258 hasConceptScore W4368318258C178421362 @default.
• W4368318258 hasConceptScore W4368318258C199360897 @default.
• W4368318258 hasConceptScore W4368318258C202444582 @default.
• W4368318258 hasConceptScore W4368318258C206901836 @default.
• W4368318258 hasConceptScore W4368318258C2185349 @default.
• W4368318258 hasConceptScore W4368318258C2524010 @default.
• W4368318258 hasConceptScore W4368318258C2778029271 @default.
• W4368318258 hasConceptScore W4368318258C2778701210 @default.
• W4368318258 hasConceptScore W4368318258C2780432614 @default.
• W4368318258 hasConceptScore W4368318258C28077239 @default.
• W4368318258 hasConceptScore W4368318258C33203268 @default.
• W4368318258 hasConceptScore W4368318258C33923547 @default.
• W4368318258 hasConceptScore W4368318258C41008148 @default.
• W4368318258 hasConceptScore W4368318258C86523455 @default.
• W4368318258 hasConceptScore W4368318258C9376300 @default.

• next