Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077804346> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2077804346 endingPage "153" @default.
- W2077804346 startingPage "138" @default.
- W2077804346 abstract "Built on the foundations laid by Peirce, Schröder, and others in the 19th century, the modern development of relation algebras started with the work of Tarski and his colleagues [21, 22]. They showed that relation algebras can capture strong first-order theories like ZFC, and so their equational theory is undecidable. The less expressive class WA of weakly associative relation algebras was introduced by Maddux [7]. Németi [16] showed that WA's have a decidable universal theory. There has been extensive research on increasing the expressive power of WA by adding new operations [1, 4, 11, 13, 20]. Extensions of this kind usually also have decidable universal theories. Here we give an example – extending WA's with set-theoretic projection elements – where this is not the case. These “logical” connectives are set-theoretic counterparts of the axiomatic quasi-projections that have been investigated in the representation theory of relation algebras [22, 6, 19]. We prove that the quasi-equational theory of the extended class PWA is not recursively enumerable. By adding the difference operator D one can turn WA and PWA to discriminator classes where each universal formula is equivalent to some equation. Hence our result implies that the projections turn the decidable equational theory of “WA + D ” to non-recursively enumerable (© 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W2077804346 created "2016-06-24" @default.
- W2077804346 creator A5038619560 @default.
- W2077804346 date "2009-02-01" @default.
- W2077804346 modified "2023-09-25" @default.
- W2077804346 title "Weakly associative relation algebras with projections" @default.
- W2077804346 cites W1592072016 @default.
- W2077804346 cites W1968351543 @default.
- W2077804346 cites W1983214992 @default.
- W2077804346 cites W1992702120 @default.
- W2077804346 cites W2004193076 @default.
- W2077804346 cites W2006006495 @default.
- W2077804346 cites W2018944629 @default.
- W2077804346 cites W2054137194 @default.
- W2077804346 cites W2081966716 @default.
- W2077804346 cites W2085054257 @default.
- W2077804346 cites W2152033041 @default.
- W2077804346 cites W4230810274 @default.
- W2077804346 cites W4246085945 @default.
- W2077804346 doi "https://doi.org/10.1002/malq.200710074" @default.
- W2077804346 hasPublicationYear "2009" @default.
- W2077804346 type Work @default.
- W2077804346 sameAs 2077804346 @default.
- W2077804346 citedByCount "2" @default.
- W2077804346 countsByYear W20778043462015 @default.
- W2077804346 crossrefType "journal-article" @default.
- W2077804346 hasAuthorship W2077804346A5038619560 @default.
- W2077804346 hasConcept C118615104 @default.
- W2077804346 hasConcept C136119220 @default.
- W2077804346 hasConcept C153269930 @default.
- W2077804346 hasConcept C154945302 @default.
- W2077804346 hasConcept C159423971 @default.
- W2077804346 hasConcept C167729594 @default.
- W2077804346 hasConcept C192034797 @default.
- W2077804346 hasConcept C202444582 @default.
- W2077804346 hasConcept C203702658 @default.
- W2077804346 hasConcept C2524010 @default.
- W2077804346 hasConcept C25343380 @default.
- W2077804346 hasConcept C2777212361 @default.
- W2077804346 hasConcept C33923547 @default.
- W2077804346 hasConcept C41008148 @default.
- W2077804346 hasConcept C77088390 @default.
- W2077804346 hasConceptScore W2077804346C118615104 @default.
- W2077804346 hasConceptScore W2077804346C136119220 @default.
- W2077804346 hasConceptScore W2077804346C153269930 @default.
- W2077804346 hasConceptScore W2077804346C154945302 @default.
- W2077804346 hasConceptScore W2077804346C159423971 @default.
- W2077804346 hasConceptScore W2077804346C167729594 @default.
- W2077804346 hasConceptScore W2077804346C192034797 @default.
- W2077804346 hasConceptScore W2077804346C202444582 @default.
- W2077804346 hasConceptScore W2077804346C203702658 @default.
- W2077804346 hasConceptScore W2077804346C2524010 @default.
- W2077804346 hasConceptScore W2077804346C25343380 @default.
- W2077804346 hasConceptScore W2077804346C2777212361 @default.
- W2077804346 hasConceptScore W2077804346C33923547 @default.
- W2077804346 hasConceptScore W2077804346C41008148 @default.
- W2077804346 hasConceptScore W2077804346C77088390 @default.
- W2077804346 hasIssue "2" @default.
- W2077804346 hasLocation W20778043461 @default.
- W2077804346 hasOpenAccess W2077804346 @default.
- W2077804346 hasPrimaryLocation W20778043461 @default.
- W2077804346 hasRelatedWork W127695342 @default.
- W2077804346 hasRelatedWork W1990616702 @default.
- W2077804346 hasRelatedWork W2014273327 @default.
- W2077804346 hasRelatedWork W2044504249 @default.
- W2077804346 hasRelatedWork W2060473848 @default.
- W2077804346 hasRelatedWork W2130384176 @default.
- W2077804346 hasRelatedWork W2946527621 @default.
- W2077804346 hasRelatedWork W2999589991 @default.
- W2077804346 hasRelatedWork W4288347501 @default.
- W2077804346 hasRelatedWork W171222612 @default.
- W2077804346 hasVolume "55" @default.
- W2077804346 isParatext "false" @default.
- W2077804346 isRetracted "false" @default.
- W2077804346 magId "2077804346" @default.
- W2077804346 workType "article" @default.