Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783611661> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2783611661 abstract "This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Rothlisberger that is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with structures of smaller cardinality and surjective rather than injective morphisms. A number of case studies are described here that could not be be solved using the algebraic approach, including (quasi)varieties of MS-algebras, double Stone algebras, and involutive Stone algebras." @default.
- W2783611661 created "2018-01-26" @default.
- W2783611661 creator A5004265800 @default.
- W2783611661 creator A5010957099 @default.
- W2783611661 creator A5038446877 @default.
- W2783611661 creator A5056978451 @default.
- W2783611661 date "2018-01-06" @default.
- W2783611661 modified "2023-09-25" @default.
- W2783611661 title "Checking Admissibility Using Natural Dualities" @default.
- W2783611661 cites W1556894108 @default.
- W2783611661 cites W1977631992 @default.
- W2783611661 cites W1986223769 @default.
- W2783611661 cites W2014030742 @default.
- W2783611661 cites W2022870017 @default.
- W2783611661 cites W2023712626 @default.
- W2783611661 cites W2031871805 @default.
- W2783611661 cites W2039977878 @default.
- W2783611661 cites W2059054551 @default.
- W2783611661 cites W2069051622 @default.
- W2783611661 cites W2073721756 @default.
- W2783611661 cites W2077847391 @default.
- W2783611661 cites W2115548617 @default.
- W2783611661 cites W2126852230 @default.
- W2783611661 cites W2143160475 @default.
- W2783611661 cites W2149568176 @default.
- W2783611661 cites W2159310931 @default.
- W2783611661 cites W2581929268 @default.
- W2783611661 hasPublicationYear "2018" @default.
- W2783611661 type Work @default.
- W2783611661 sameAs 2783611661 @default.
- W2783611661 citedByCount "1" @default.
- W2783611661 countsByYear W27836116612019 @default.
- W2783611661 crossrefType "posted-content" @default.
- W2783611661 hasAuthorship W2783611661A5004265800 @default.
- W2783611661 hasAuthorship W2783611661A5010957099 @default.
- W2783611661 hasAuthorship W2783611661A5038446877 @default.
- W2783611661 hasAuthorship W2783611661A5056978451 @default.
- W2783611661 hasConcept C119238805 @default.
- W2783611661 hasConcept C124101348 @default.
- W2783611661 hasConcept C128107574 @default.
- W2783611661 hasConcept C134306372 @default.
- W2783611661 hasConcept C136119220 @default.
- W2783611661 hasConcept C137212723 @default.
- W2783611661 hasConcept C182419690 @default.
- W2783611661 hasConcept C202444582 @default.
- W2783611661 hasConcept C33923547 @default.
- W2783611661 hasConcept C41008148 @default.
- W2783611661 hasConcept C87117476 @default.
- W2783611661 hasConcept C9376300 @default.
- W2783611661 hasConceptScore W2783611661C119238805 @default.
- W2783611661 hasConceptScore W2783611661C124101348 @default.
- W2783611661 hasConceptScore W2783611661C128107574 @default.
- W2783611661 hasConceptScore W2783611661C134306372 @default.
- W2783611661 hasConceptScore W2783611661C136119220 @default.
- W2783611661 hasConceptScore W2783611661C137212723 @default.
- W2783611661 hasConceptScore W2783611661C182419690 @default.
- W2783611661 hasConceptScore W2783611661C202444582 @default.
- W2783611661 hasConceptScore W2783611661C33923547 @default.
- W2783611661 hasConceptScore W2783611661C41008148 @default.
- W2783611661 hasConceptScore W2783611661C87117476 @default.
- W2783611661 hasConceptScore W2783611661C9376300 @default.
- W2783611661 hasLocation W27836116611 @default.
- W2783611661 hasOpenAccess W2783611661 @default.
- W2783611661 hasPrimaryLocation W27836116611 @default.
- W2783611661 hasRelatedWork W1593006801 @default.
- W2783611661 hasRelatedWork W181692858 @default.
- W2783611661 hasRelatedWork W197179519 @default.
- W2783611661 hasRelatedWork W1974847715 @default.
- W2783611661 hasRelatedWork W1980141941 @default.
- W2783611661 hasRelatedWork W1988754305 @default.
- W2783611661 hasRelatedWork W1992234386 @default.
- W2783611661 hasRelatedWork W2013191336 @default.
- W2783611661 hasRelatedWork W2021814197 @default.
- W2783611661 hasRelatedWork W2138323599 @default.
- W2783611661 hasRelatedWork W2182354728 @default.
- W2783611661 hasRelatedWork W2405946744 @default.
- W2783611661 hasRelatedWork W2794823936 @default.
- W2783611661 hasRelatedWork W2949083554 @default.
- W2783611661 hasRelatedWork W2949263100 @default.
- W2783611661 hasRelatedWork W2953290482 @default.
- W2783611661 hasRelatedWork W2963632537 @default.
- W2783611661 hasRelatedWork W2975809829 @default.
- W2783611661 hasRelatedWork W3199132729 @default.
- W2783611661 hasRelatedWork W899401075 @default.
- W2783611661 isParatext "false" @default.
- W2783611661 isRetracted "false" @default.
- W2783611661 magId "2783611661" @default.
- W2783611661 workType "article" @default.