Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965995586> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1965995586 endingPage "280" @default.
- W1965995586 startingPage "271" @default.
- W1965995586 abstract "Pałasińska and Pigozzi developed a theory of partially ordered varieties and quasi-varieties of algebras with the goal of addressing issues pertaining to the theory of algebraizability of logics involving an abstract form of the connective of logical implication. Following their lead, the author has abstracted the theory to cover the case of algebraic systems, systems that replace algebras in the theory of categorical abstract algebraic logic. In this note, an order subdirect representation theorem for partially ordered algebraic systems is proven. This is an analog of the Order Subdirect Representation Theorem of Pałasińska and Pigozzi, which, in turn, generalizes the well-known Subdirect Representation Theorem of Universal Algebra." @default.
- W1965995586 created "2016-06-24" @default.
- W1965995586 creator A5078947872 @default.
- W1965995586 date "2006-12-26" @default.
- W1965995586 modified "2023-09-27" @default.
- W1965995586 title "Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors" @default.
- W1965995586 cites W1499603660 @default.
- W1965995586 cites W1554619471 @default.
- W1965995586 cites W1965643735 @default.
- W1965995586 cites W1971410956 @default.
- W1965995586 cites W1972289972 @default.
- W1965995586 cites W2004384679 @default.
- W1965995586 cites W2075571364 @default.
- W1965995586 cites W2095721721 @default.
- W1965995586 cites W2577190837 @default.
- W1965995586 cites W4205462352 @default.
- W1965995586 cites W4231792667 @default.
- W1965995586 cites W4242462843 @default.
- W1965995586 cites W4247559916 @default.
- W1965995586 cites W4293176479 @default.
- W1965995586 doi "https://doi.org/10.1080/00927870601042118" @default.
- W1965995586 hasPublicationYear "2006" @default.
- W1965995586 type Work @default.
- W1965995586 sameAs 1965995586 @default.
- W1965995586 citedByCount "2" @default.
- W1965995586 crossrefType "journal-article" @default.
- W1965995586 hasAuthorship W1965995586A5078947872 @default.
- W1965995586 hasBestOaLocation W19659955862 @default.
- W1965995586 hasConcept C10138342 @default.
- W1965995586 hasConcept C105795698 @default.
- W1965995586 hasConcept C134306372 @default.
- W1965995586 hasConcept C136119220 @default.
- W1965995586 hasConcept C162324750 @default.
- W1965995586 hasConcept C17744445 @default.
- W1965995586 hasConcept C182306322 @default.
- W1965995586 hasConcept C197273675 @default.
- W1965995586 hasConcept C199539241 @default.
- W1965995586 hasConcept C202444582 @default.
- W1965995586 hasConcept C2731732 @default.
- W1965995586 hasConcept C2776230367 @default.
- W1965995586 hasConcept C2776359362 @default.
- W1965995586 hasConcept C33923547 @default.
- W1965995586 hasConcept C5274069 @default.
- W1965995586 hasConcept C86523455 @default.
- W1965995586 hasConcept C9376300 @default.
- W1965995586 hasConcept C94625758 @default.
- W1965995586 hasConceptScore W1965995586C10138342 @default.
- W1965995586 hasConceptScore W1965995586C105795698 @default.
- W1965995586 hasConceptScore W1965995586C134306372 @default.
- W1965995586 hasConceptScore W1965995586C136119220 @default.
- W1965995586 hasConceptScore W1965995586C162324750 @default.
- W1965995586 hasConceptScore W1965995586C17744445 @default.
- W1965995586 hasConceptScore W1965995586C182306322 @default.
- W1965995586 hasConceptScore W1965995586C197273675 @default.
- W1965995586 hasConceptScore W1965995586C199539241 @default.
- W1965995586 hasConceptScore W1965995586C202444582 @default.
- W1965995586 hasConceptScore W1965995586C2731732 @default.
- W1965995586 hasConceptScore W1965995586C2776230367 @default.
- W1965995586 hasConceptScore W1965995586C2776359362 @default.
- W1965995586 hasConceptScore W1965995586C33923547 @default.
- W1965995586 hasConceptScore W1965995586C5274069 @default.
- W1965995586 hasConceptScore W1965995586C86523455 @default.
- W1965995586 hasConceptScore W1965995586C9376300 @default.
- W1965995586 hasConceptScore W1965995586C94625758 @default.
- W1965995586 hasIssue "1" @default.
- W1965995586 hasLocation W19659955861 @default.
- W1965995586 hasLocation W19659955862 @default.
- W1965995586 hasOpenAccess W1965995586 @default.
- W1965995586 hasPrimaryLocation W19659955861 @default.
- W1965995586 hasRelatedWork W1506668851 @default.
- W1965995586 hasRelatedWork W1965643735 @default.
- W1965995586 hasRelatedWork W1966001179 @default.
- W1965995586 hasRelatedWork W2069832399 @default.
- W1965995586 hasRelatedWork W2075571364 @default.
- W1965995586 hasRelatedWork W2082787203 @default.
- W1965995586 hasRelatedWork W2118989919 @default.
- W1965995586 hasRelatedWork W3101907825 @default.
- W1965995586 hasRelatedWork W4302313139 @default.
- W1965995586 hasRelatedWork W1530595355 @default.
- W1965995586 hasVolume "35" @default.
- W1965995586 isParatext "false" @default.
- W1965995586 isRetracted "false" @default.
- W1965995586 magId "1965995586" @default.
- W1965995586 workType "article" @default.