FRINK Linked Data Fragments server

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

• W2002127544 abstract "Spinks introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1- and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the general case) in terms of matrix methodology in Section 1, showing how to reformulate the matrix semantics as a Kripke-style possible worlds semantics, thereby displaying the distinction between the two implications in the more familiar language of modal logic. In Sections 2 and 3 we study, from this perspective, the fragments obtained by taking the two implications separately, and--after a digression (in Section 4) on the intuitionistic analogue of the material in Section 3--consider them together in Section 5, closing with a discussion in Section 6 of issues in the theory of logical rules. Some material is treated in three appendices to prevent Sections 1-6 from becoming overly distended." @default.
• W2002127544 created "2016-06-24" @default.
• W2002127544 creator A5066338069 @default.
• W2002127544 date "2000-01-01" @default.
• W2002127544 modified "2023-09-26" @default.
• W2002127544 title "An Intriguing Logic with Two Implicational Connectives" @default.
• W2002127544 cites W1480232161 @default.
• W2002127544 cites W1555947437 @default.
• W2002127544 cites W1570374618 @default.
• W2002127544 cites W1974112089 @default.
• W2002127544 cites W1975908296 @default.
• W2002127544 cites W1978821506 @default.
• W2002127544 cites W2000683184 @default.
• W2002127544 cites W2004806255 @default.
• W2002127544 cites W2012254684 @default.
• W2002127544 cites W2017769810 @default.
• W2002127544 cites W2038418330 @default.
• W2002127544 cites W2067638902 @default.
• W2002127544 cites W2068658258 @default.
• W2002127544 cites W2072977212 @default.
• W2002127544 cites W2076222411 @default.
• W2002127544 cites W2087811213 @default.
• W2002127544 cites W2095704391 @default.
• W2002127544 cites W2096871719 @default.
• W2002127544 cites W2105119365 @default.
• W2002127544 cites W2123985313 @default.
• W2002127544 cites W2138398824 @default.
• W2002127544 cites W2153604707 @default.
• W2002127544 cites W4213130966 @default.
• W2002127544 cites W4214749170 @default.
• W2002127544 cites W4233046245 @default.
• W2002127544 cites W4242309855 @default.
• W2002127544 cites W4252113473 @default.
• W2002127544 cites W4252706706 @default.
• W2002127544 doi "https://doi.org/10.1305/ndjfl/1027953481" @default.
• W2002127544 hasPublicationYear "2000" @default.
• W2002127544 type Work @default.
• W2002127544 sameAs 2002127544 @default.
• W2002127544 citedByCount "7" @default.
• W2002127544 countsByYear W20021275442014 @default.
• W2002127544 crossrefType "journal-article" @default.
• W2002127544 hasAuthorship W2002127544A5066338069 @default.
• W2002127544 hasBestOaLocation W20021275442 @default.
• W2002127544 hasConcept C102993220 @default.
• W2002127544 hasConcept C106487976 @default.
• W2002127544 hasConcept C111919701 @default.
• W2002127544 hasConcept C118615104 @default.
• W2002127544 hasConcept C136119220 @default.
• W2002127544 hasConcept C138885662 @default.
• W2002127544 hasConcept C154945302 @default.
• W2002127544 hasConcept C159985019 @default.
• W2002127544 hasConcept C160131679 @default.
• W2002127544 hasConcept C17744445 @default.
• W2002127544 hasConcept C178421362 @default.
• W2002127544 hasConcept C184337299 @default.
• W2002127544 hasConcept C192562407 @default.
• W2002127544 hasConcept C199343813 @default.
• W2002127544 hasConcept C199360897 @default.
• W2002127544 hasConcept C199539241 @default.
• W2002127544 hasConcept C200288055 @default.
• W2002127544 hasConcept C202444582 @default.
• W2002127544 hasConcept C2777686260 @default.
• W2002127544 hasConcept C2780129039 @default.
• W2002127544 hasConcept C33203268 @default.
• W2002127544 hasConcept C33923547 @default.
• W2002127544 hasConcept C41008148 @default.
• W2002127544 hasConcept C41895202 @default.
• W2002127544 hasConcept C69562738 @default.
• W2002127544 hasConcept C71924100 @default.
• W2002127544 hasConceptScore W2002127544C102993220 @default.
• W2002127544 hasConceptScore W2002127544C106487976 @default.
• W2002127544 hasConceptScore W2002127544C111919701 @default.
• W2002127544 hasConceptScore W2002127544C118615104 @default.
• W2002127544 hasConceptScore W2002127544C136119220 @default.
• W2002127544 hasConceptScore W2002127544C138885662 @default.
• W2002127544 hasConceptScore W2002127544C154945302 @default.
• W2002127544 hasConceptScore W2002127544C159985019 @default.
• W2002127544 hasConceptScore W2002127544C160131679 @default.
• W2002127544 hasConceptScore W2002127544C17744445 @default.
• W2002127544 hasConceptScore W2002127544C178421362 @default.
• W2002127544 hasConceptScore W2002127544C184337299 @default.
• W2002127544 hasConceptScore W2002127544C192562407 @default.
• W2002127544 hasConceptScore W2002127544C199343813 @default.
• W2002127544 hasConceptScore W2002127544C199360897 @default.
• W2002127544 hasConceptScore W2002127544C199539241 @default.
• W2002127544 hasConceptScore W2002127544C200288055 @default.
• W2002127544 hasConceptScore W2002127544C202444582 @default.
• W2002127544 hasConceptScore W2002127544C2777686260 @default.
• W2002127544 hasConceptScore W2002127544C2780129039 @default.
• W2002127544 hasConceptScore W2002127544C33203268 @default.
• W2002127544 hasConceptScore W2002127544C33923547 @default.
• W2002127544 hasConceptScore W2002127544C41008148 @default.
• W2002127544 hasConceptScore W2002127544C41895202 @default.
• W2002127544 hasConceptScore W2002127544C69562738 @default.
• W2002127544 hasConceptScore W2002127544C71924100 @default.
• W2002127544 hasIssue "1" @default.
• W2002127544 hasLocation W20021275441 @default.
• W2002127544 hasLocation W20021275442 @default.
• W2002127544 hasOpenAccess W2002127544 @default.
• W2002127544 hasPrimaryLocation W20021275441 @default.

• next