Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036004721> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3036004721 abstract "An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $forall exists! land p = q$. For a logic $L$ algebraized by a quasivariety $mathcal{Q}$ we show that the AE-subclasses of $mathcal{Q}$ correspond to certain natural expansions of $L$, which we call {em algebraic expansions}. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of Abelian $ell$-groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics." @default.
- W3036004721 created "2020-06-25" @default.
- W3036004721 creator A5004342195 @default.
- W3036004721 creator A5039454528 @default.
- W3036004721 creator A5055073741 @default.
- W3036004721 creator A5091783745 @default.
- W3036004721 date "2020-06-17" @default.
- W3036004721 modified "2023-09-27" @default.
- W3036004721 title "Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras" @default.
- W3036004721 cites W1599991857 @default.
- W3036004721 cites W1965682580 @default.
- W3036004721 cites W1966723570 @default.
- W3036004721 cites W1969303818 @default.
- W3036004721 cites W1985104705 @default.
- W3036004721 cites W2002518463 @default.
- W3036004721 cites W2023648368 @default.
- W3036004721 cites W2025013387 @default.
- W3036004721 cites W2036165525 @default.
- W3036004721 cites W2041068682 @default.
- W3036004721 cites W2046608426 @default.
- W3036004721 cites W2053722013 @default.
- W3036004721 cites W2057459846 @default.
- W3036004721 cites W2069644928 @default.
- W3036004721 cites W2073786152 @default.
- W3036004721 cites W2088476380 @default.
- W3036004721 cites W2099602798 @default.
- W3036004721 cites W2477293602 @default.
- W3036004721 cites W269873051 @default.
- W3036004721 cites W2755421039 @default.
- W3036004721 cites W2914344893 @default.
- W3036004721 cites W629265671 @default.
- W3036004721 cites W35044328 @default.
- W3036004721 hasPublicationYear "2020" @default.
- W3036004721 type Work @default.
- W3036004721 sameAs 3036004721 @default.
- W3036004721 citedByCount "0" @default.
- W3036004721 crossrefType "posted-content" @default.
- W3036004721 hasAuthorship W3036004721A5004342195 @default.
- W3036004721 hasAuthorship W3036004721A5039454528 @default.
- W3036004721 hasAuthorship W3036004721A5055073741 @default.
- W3036004721 hasAuthorship W3036004721A5091783745 @default.
- W3036004721 hasConcept C118615104 @default.
- W3036004721 hasConcept C134306372 @default.
- W3036004721 hasConcept C136119220 @default.
- W3036004721 hasConcept C136170076 @default.
- W3036004721 hasConcept C154945302 @default.
- W3036004721 hasConcept C202444582 @default.
- W3036004721 hasConcept C2777212361 @default.
- W3036004721 hasConcept C33923547 @default.
- W3036004721 hasConcept C41008148 @default.
- W3036004721 hasConcept C9376300 @default.
- W3036004721 hasConceptScore W3036004721C118615104 @default.
- W3036004721 hasConceptScore W3036004721C134306372 @default.
- W3036004721 hasConceptScore W3036004721C136119220 @default.
- W3036004721 hasConceptScore W3036004721C136170076 @default.
- W3036004721 hasConceptScore W3036004721C154945302 @default.
- W3036004721 hasConceptScore W3036004721C202444582 @default.
- W3036004721 hasConceptScore W3036004721C2777212361 @default.
- W3036004721 hasConceptScore W3036004721C33923547 @default.
- W3036004721 hasConceptScore W3036004721C41008148 @default.
- W3036004721 hasConceptScore W3036004721C9376300 @default.
- W3036004721 hasLocation W30360047211 @default.
- W3036004721 hasOpenAccess W3036004721 @default.
- W3036004721 hasPrimaryLocation W30360047211 @default.
- W3036004721 hasRelatedWork W1124072966 @default.
- W3036004721 hasRelatedWork W1514253810 @default.
- W3036004721 hasRelatedWork W1968707841 @default.
- W3036004721 hasRelatedWork W197179519 @default.
- W3036004721 hasRelatedWork W1982777781 @default.
- W3036004721 hasRelatedWork W1988754305 @default.
- W3036004721 hasRelatedWork W1992234386 @default.
- W3036004721 hasRelatedWork W2013191336 @default.
- W3036004721 hasRelatedWork W2025885789 @default.
- W3036004721 hasRelatedWork W2033032644 @default.
- W3036004721 hasRelatedWork W2033180271 @default.
- W3036004721 hasRelatedWork W2057459846 @default.
- W3036004721 hasRelatedWork W2058392484 @default.
- W3036004721 hasRelatedWork W2078491542 @default.
- W3036004721 hasRelatedWork W2083346809 @default.
- W3036004721 hasRelatedWork W2120840992 @default.
- W3036004721 hasRelatedWork W2528103913 @default.
- W3036004721 hasRelatedWork W2911860998 @default.
- W3036004721 hasRelatedWork W2963277410 @default.
- W3036004721 hasRelatedWork W3110983440 @default.
- W3036004721 isParatext "false" @default.
- W3036004721 isRetracted "false" @default.
- W3036004721 magId "3036004721" @default.
- W3036004721 workType "article" @default.