Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026564669> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2026564669 abstract "Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics for the minimal substructural logic. Soundness and completeness are proven each time." @default.
- W2026564669 created "2016-06-24" @default.
- W2026564669 creator A5042844168 @default.
- W2026564669 creator A5064142183 @default.
- W2026564669 date "2005-10-01" @default.
- W2026564669 modified "2023-09-23" @default.
- W2026564669 title "Relational Semantics for Kleene Logic and Action Logic" @default.
- W2026564669 cites W1481365453 @default.
- W2026564669 cites W1496035301 @default.
- W2026564669 cites W1505344996 @default.
- W2026564669 cites W1554516311 @default.
- W2026564669 cites W170302495 @default.
- W2026564669 cites W2018202519 @default.
- W2026564669 cites W2023605209 @default.
- W2026564669 cites W2034977973 @default.
- W2026564669 cites W2044621165 @default.
- W2026564669 cites W2056090773 @default.
- W2026564669 cites W2065613054 @default.
- W2026564669 cites W2112576833 @default.
- W2026564669 cites W2153111627 @default.
- W2026564669 cites W2163152086 @default.
- W2026564669 cites W2168035307 @default.
- W2026564669 cites W2491860225 @default.
- W2026564669 cites W2498884472 @default.
- W2026564669 cites W4213165878 @default.
- W2026564669 cites W4253795631 @default.
- W2026564669 doi "https://doi.org/10.1305/ndjfl/1134397663" @default.
- W2026564669 hasPublicationYear "2005" @default.
- W2026564669 type Work @default.
- W2026564669 sameAs 2026564669 @default.
- W2026564669 citedByCount "15" @default.
- W2026564669 countsByYear W20265646692014 @default.
- W2026564669 countsByYear W20265646692017 @default.
- W2026564669 countsByYear W20265646692019 @default.
- W2026564669 countsByYear W20265646692020 @default.
- W2026564669 countsByYear W20265646692021 @default.
- W2026564669 countsByYear W20265646692022 @default.
- W2026564669 crossrefType "journal-article" @default.
- W2026564669 hasAuthorship W2026564669A5042844168 @default.
- W2026564669 hasAuthorship W2026564669A5064142183 @default.
- W2026564669 hasBestOaLocation W20265646691 @default.
- W2026564669 hasConcept C102993220 @default.
- W2026564669 hasConcept C118615104 @default.
- W2026564669 hasConcept C136119220 @default.
- W2026564669 hasConcept C156325763 @default.
- W2026564669 hasConcept C160131679 @default.
- W2026564669 hasConcept C184337299 @default.
- W2026564669 hasConcept C199360897 @default.
- W2026564669 hasConcept C202444582 @default.
- W2026564669 hasConcept C207648694 @default.
- W2026564669 hasConcept C33203268 @default.
- W2026564669 hasConcept C33923547 @default.
- W2026564669 hasConcept C39920170 @default.
- W2026564669 hasConcept C41008148 @default.
- W2026564669 hasConcept C80444323 @default.
- W2026564669 hasConcept C89497691 @default.
- W2026564669 hasConceptScore W2026564669C102993220 @default.
- W2026564669 hasConceptScore W2026564669C118615104 @default.
- W2026564669 hasConceptScore W2026564669C136119220 @default.
- W2026564669 hasConceptScore W2026564669C156325763 @default.
- W2026564669 hasConceptScore W2026564669C160131679 @default.
- W2026564669 hasConceptScore W2026564669C184337299 @default.
- W2026564669 hasConceptScore W2026564669C199360897 @default.
- W2026564669 hasConceptScore W2026564669C202444582 @default.
- W2026564669 hasConceptScore W2026564669C207648694 @default.
- W2026564669 hasConceptScore W2026564669C33203268 @default.
- W2026564669 hasConceptScore W2026564669C33923547 @default.
- W2026564669 hasConceptScore W2026564669C39920170 @default.
- W2026564669 hasConceptScore W2026564669C41008148 @default.
- W2026564669 hasConceptScore W2026564669C80444323 @default.
- W2026564669 hasConceptScore W2026564669C89497691 @default.
- W2026564669 hasIssue "4" @default.
- W2026564669 hasLocation W20265646691 @default.
- W2026564669 hasOpenAccess W2026564669 @default.
- W2026564669 hasPrimaryLocation W20265646691 @default.
- W2026564669 hasRelatedWork W1453568478 @default.
- W2026564669 hasRelatedWork W1496035301 @default.
- W2026564669 hasRelatedWork W1829953733 @default.
- W2026564669 hasRelatedWork W1998174273 @default.
- W2026564669 hasRelatedWork W2026564669 @default.
- W2026564669 hasRelatedWork W3109666952 @default.
- W2026564669 hasRelatedWork W3175327018 @default.
- W2026564669 hasRelatedWork W4287558007 @default.
- W2026564669 hasRelatedWork W4380136482 @default.
- W2026564669 hasRelatedWork W98463064 @default.
- W2026564669 hasVolume "46" @default.
- W2026564669 isParatext "false" @default.
- W2026564669 isRetracted "false" @default.
- W2026564669 magId "2026564669" @default.
- W2026564669 workType "article" @default.