Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313888926> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4313888926 endingPage "938" @default.
- W4313888926 startingPage "915" @default.
- W4313888926 abstract "Abstract Belnap and Dunn’s well-known 4-valued logic FDE is an interesting and useful non-classical logic. FDE is defined by using conjunction, disjunction and negation as the sole propositional connectives. Then the question of expanding FDE with an implication connective is of course of great interest. In this sense, some implicative expansions of FDE have been proposed in the literature, among which Brady’s logic BN4 seems to be the preferred option of relevant logicians. The aim of this paper is to define a class of implicative expansions of FDE in whose elements Boolean negation is definable, whence strong logics such as the paraconsistent and paracomplete logic PŁ4 and BN4 itself are definable, in addition to classical propositional logic." @default.
- W4313888926 created "2023-01-10" @default.
- W4313888926 creator A5035778877 @default.
- W4313888926 creator A5056276034 @default.
- W4313888926 date "2023-01-09" @default.
- W4313888926 modified "2023-10-01" @default.
- W4313888926 title "A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable" @default.
- W4313888926 cites W1487409515 @default.
- W4313888926 cites W1514354742 @default.
- W4313888926 cites W1531571632 @default.
- W4313888926 cites W2023605209 @default.
- W4313888926 cites W2029571501 @default.
- W4313888926 cites W2045666507 @default.
- W4313888926 cites W2049798133 @default.
- W4313888926 cites W2060658047 @default.
- W4313888926 cites W2144197173 @default.
- W4313888926 cites W2293191596 @default.
- W4313888926 cites W2333402297 @default.
- W4313888926 cites W2480359299 @default.
- W4313888926 cites W2748259594 @default.
- W4313888926 cites W2763778849 @default.
- W4313888926 cites W2947597421 @default.
- W4313888926 cites W2985951914 @default.
- W4313888926 cites W3030985043 @default.
- W4313888926 cites W3045569619 @default.
- W4313888926 cites W3132355861 @default.
- W4313888926 cites W3136450054 @default.
- W4313888926 cites W3193747616 @default.
- W4313888926 cites W4221128149 @default.
- W4313888926 cites W4233463705 @default.
- W4313888926 cites W4238317403 @default.
- W4313888926 doi "https://doi.org/10.1007/s10992-022-09692-2" @default.
- W4313888926 hasPublicationYear "2023" @default.
- W4313888926 type Work @default.
- W4313888926 citedByCount "0" @default.
- W4313888926 crossrefType "journal-article" @default.
- W4313888926 hasAuthorship W4313888926A5035778877 @default.
- W4313888926 hasAuthorship W4313888926A5056276034 @default.
- W4313888926 hasBestOaLocation W43138889261 @default.
- W4313888926 hasConcept C102993220 @default.
- W4313888926 hasConcept C110039528 @default.
- W4313888926 hasConcept C118615104 @default.
- W4313888926 hasConcept C136119220 @default.
- W4313888926 hasConcept C14523651 @default.
- W4313888926 hasConcept C154945302 @default.
- W4313888926 hasConcept C16796852 @default.
- W4313888926 hasConcept C169896238 @default.
- W4313888926 hasConcept C178421362 @default.
- W4313888926 hasConcept C199360897 @default.
- W4313888926 hasConcept C202444582 @default.
- W4313888926 hasConcept C203659156 @default.
- W4313888926 hasConcept C2185349 @default.
- W4313888926 hasConcept C2777212361 @default.
- W4313888926 hasConcept C32241873 @default.
- W4313888926 hasConcept C33203268 @default.
- W4313888926 hasConcept C33923547 @default.
- W4313888926 hasConcept C3845977 @default.
- W4313888926 hasConcept C41008148 @default.
- W4313888926 hasConcept C69562738 @default.
- W4313888926 hasConceptScore W4313888926C102993220 @default.
- W4313888926 hasConceptScore W4313888926C110039528 @default.
- W4313888926 hasConceptScore W4313888926C118615104 @default.
- W4313888926 hasConceptScore W4313888926C136119220 @default.
- W4313888926 hasConceptScore W4313888926C14523651 @default.
- W4313888926 hasConceptScore W4313888926C154945302 @default.
- W4313888926 hasConceptScore W4313888926C16796852 @default.
- W4313888926 hasConceptScore W4313888926C169896238 @default.
- W4313888926 hasConceptScore W4313888926C178421362 @default.
- W4313888926 hasConceptScore W4313888926C199360897 @default.
- W4313888926 hasConceptScore W4313888926C202444582 @default.
- W4313888926 hasConceptScore W4313888926C203659156 @default.
- W4313888926 hasConceptScore W4313888926C2185349 @default.
- W4313888926 hasConceptScore W4313888926C2777212361 @default.
- W4313888926 hasConceptScore W4313888926C32241873 @default.
- W4313888926 hasConceptScore W4313888926C33203268 @default.
- W4313888926 hasConceptScore W4313888926C33923547 @default.
- W4313888926 hasConceptScore W4313888926C3845977 @default.
- W4313888926 hasConceptScore W4313888926C41008148 @default.
- W4313888926 hasConceptScore W4313888926C69562738 @default.
- W4313888926 hasFunder F4320322930 @default.
- W4313888926 hasIssue "3" @default.
- W4313888926 hasLocation W43138889261 @default.
- W4313888926 hasOpenAccess W4313888926 @default.
- W4313888926 hasPrimaryLocation W43138889261 @default.
- W4313888926 hasRelatedWork W1667825161 @default.
- W4313888926 hasRelatedWork W1973501176 @default.
- W4313888926 hasRelatedWork W1974585268 @default.
- W4313888926 hasRelatedWork W1986625420 @default.
- W4313888926 hasRelatedWork W2014555924 @default.
- W4313888926 hasRelatedWork W2110707830 @default.
- W4313888926 hasRelatedWork W2913260702 @default.
- W4313888926 hasRelatedWork W3145584637 @default.
- W4313888926 hasRelatedWork W4313888926 @default.
- W4313888926 hasRelatedWork W4320930647 @default.
- W4313888926 hasVolume "52" @default.
- W4313888926 isParatext "false" @default.
- W4313888926 isRetracted "false" @default.
- W4313888926 workType "article" @default.