Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138323599> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2138323599 abstract "We answer an implicit question of Ian Hodkinson's. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters algebras is elementary and finitely axiomatizable. We obtain analagous results for infinite dimensions (replacing finite axiomatizability by finite schema axiomatizability). We show that the class of subdirect products of set algebras is a canonical variety that is locally finite only for finite dimensions, and has the superamalgamation property; the latter for all dimensions. However, the algebras we deal with are expansions of Pinter algebras with substitutions corresponding to tranpositions. It is true that this makes the a lot of the problems addressed harder, but this is an acet, not a liability. Futhermore, the results for Pinter's algebras readily follow by just discarding the substitution operations corresponding to transpostions. Finally, we show that the multi-dimensional modal logic corresponding to finite dimensional algebras have an $NP$-complete satisfiability problem." @default.
- W2138323599 created "2016-06-24" @default.
- W2138323599 creator A5014040531 @default.
- W2138323599 date "2013-04-02" @default.
- W2138323599 modified "2023-09-27" @default.
- W2138323599 title "On complete representability of Pinter's algebras and related structures" @default.
- W2138323599 cites W2014969671 @default.
- W2138323599 cites W2017057265 @default.
- W2138323599 cites W2039637520 @default.
- W2138323599 cites W2112303653 @default.
- W2138323599 cites W2137401798 @default.
- W2138323599 cites W2154648038 @default.
- W2138323599 cites W2171216899 @default.
- W2138323599 cites W53027350 @default.
- W2138323599 hasPublicationYear "2013" @default.
- W2138323599 type Work @default.
- W2138323599 sameAs 2138323599 @default.
- W2138323599 citedByCount "0" @default.
- W2138323599 crossrefType "posted-content" @default.
- W2138323599 hasAuthorship W2138323599A5014040531 @default.
- W2138323599 hasConcept C105795698 @default.
- W2138323599 hasConcept C119857082 @default.
- W2138323599 hasConcept C136119220 @default.
- W2138323599 hasConcept C136197465 @default.
- W2138323599 hasConcept C154945302 @default.
- W2138323599 hasConcept C162860070 @default.
- W2138323599 hasConcept C177264268 @default.
- W2138323599 hasConcept C185592680 @default.
- W2138323599 hasConcept C188027245 @default.
- W2138323599 hasConcept C199360897 @default.
- W2138323599 hasConcept C202444582 @default.
- W2138323599 hasConcept C2777212361 @default.
- W2138323599 hasConcept C33923547 @default.
- W2138323599 hasConcept C41008148 @default.
- W2138323599 hasConcept C52146309 @default.
- W2138323599 hasConcept C71139939 @default.
- W2138323599 hasConceptScore W2138323599C105795698 @default.
- W2138323599 hasConceptScore W2138323599C119857082 @default.
- W2138323599 hasConceptScore W2138323599C136119220 @default.
- W2138323599 hasConceptScore W2138323599C136197465 @default.
- W2138323599 hasConceptScore W2138323599C154945302 @default.
- W2138323599 hasConceptScore W2138323599C162860070 @default.
- W2138323599 hasConceptScore W2138323599C177264268 @default.
- W2138323599 hasConceptScore W2138323599C185592680 @default.
- W2138323599 hasConceptScore W2138323599C188027245 @default.
- W2138323599 hasConceptScore W2138323599C199360897 @default.
- W2138323599 hasConceptScore W2138323599C202444582 @default.
- W2138323599 hasConceptScore W2138323599C2777212361 @default.
- W2138323599 hasConceptScore W2138323599C33923547 @default.
- W2138323599 hasConceptScore W2138323599C41008148 @default.
- W2138323599 hasConceptScore W2138323599C52146309 @default.
- W2138323599 hasConceptScore W2138323599C71139939 @default.
- W2138323599 hasLocation W21383235991 @default.
- W2138323599 hasOpenAccess W2138323599 @default.
- W2138323599 hasPrimaryLocation W21383235991 @default.
- W2138323599 hasRelatedWork W1590540421 @default.
- W2138323599 hasRelatedWork W1593006801 @default.
- W2138323599 hasRelatedWork W1596120363 @default.
- W2138323599 hasRelatedWork W181692858 @default.
- W2138323599 hasRelatedWork W1920447799 @default.
- W2138323599 hasRelatedWork W1992702120 @default.
- W2138323599 hasRelatedWork W2013191336 @default.
- W2138323599 hasRelatedWork W2058392484 @default.
- W2138323599 hasRelatedWork W2081870297 @default.
- W2138323599 hasRelatedWork W2160776691 @default.
- W2138323599 hasRelatedWork W2182354728 @default.
- W2138323599 hasRelatedWork W2264318467 @default.
- W2138323599 hasRelatedWork W2480586747 @default.
- W2138323599 hasRelatedWork W2492557794 @default.
- W2138323599 hasRelatedWork W2508461133 @default.
- W2138323599 hasRelatedWork W2525003857 @default.
- W2138323599 hasRelatedWork W2963277410 @default.
- W2138323599 hasRelatedWork W2963301680 @default.
- W2138323599 hasRelatedWork W3108610421 @default.
- W2138323599 hasRelatedWork W2575222808 @default.
- W2138323599 isParatext "false" @default.
- W2138323599 isRetracted "false" @default.
- W2138323599 magId "2138323599" @default.
- W2138323599 workType "article" @default.