Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912554276> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2912554276 abstract "It is proved that every of algebras is categorically equivalent to a prevariety of i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial equation in the language meet, join, and relational product holds in the congruence lattices of all members of every variety of logic, and that being a (pre)variety of logic is not a categorical property." @default.
- W2912554276 created "2019-02-21" @default.
- W2912554276 creator A5031449832 @default.
- W2912554276 creator A5078866044 @default.
- W2912554276 date "2019-02-11" @default.
- W2912554276 modified "2023-09-27" @default.
- W2912554276 title "On prevarieties of logic" @default.
- W2912554276 hasPublicationYear "2019" @default.
- W2912554276 type Work @default.
- W2912554276 sameAs 2912554276 @default.
- W2912554276 citedByCount "0" @default.
- W2912554276 crossrefType "posted-content" @default.
- W2912554276 hasAuthorship W2912554276A5031449832 @default.
- W2912554276 hasAuthorship W2912554276A5078866044 @default.
- W2912554276 hasConcept C105795698 @default.
- W2912554276 hasConcept C111472728 @default.
- W2912554276 hasConcept C118615104 @default.
- W2912554276 hasConcept C132074034 @default.
- W2912554276 hasConcept C136119220 @default.
- W2912554276 hasConcept C136197465 @default.
- W2912554276 hasConcept C138885662 @default.
- W2912554276 hasConcept C184337299 @default.
- W2912554276 hasConcept C189950617 @default.
- W2912554276 hasConcept C199360897 @default.
- W2912554276 hasConcept C202444582 @default.
- W2912554276 hasConcept C2524010 @default.
- W2912554276 hasConcept C2779729104 @default.
- W2912554276 hasConcept C33923547 @default.
- W2912554276 hasConcept C41008148 @default.
- W2912554276 hasConcept C5274069 @default.
- W2912554276 hasConceptScore W2912554276C105795698 @default.
- W2912554276 hasConceptScore W2912554276C111472728 @default.
- W2912554276 hasConceptScore W2912554276C118615104 @default.
- W2912554276 hasConceptScore W2912554276C132074034 @default.
- W2912554276 hasConceptScore W2912554276C136119220 @default.
- W2912554276 hasConceptScore W2912554276C136197465 @default.
- W2912554276 hasConceptScore W2912554276C138885662 @default.
- W2912554276 hasConceptScore W2912554276C184337299 @default.
- W2912554276 hasConceptScore W2912554276C189950617 @default.
- W2912554276 hasConceptScore W2912554276C199360897 @default.
- W2912554276 hasConceptScore W2912554276C202444582 @default.
- W2912554276 hasConceptScore W2912554276C2524010 @default.
- W2912554276 hasConceptScore W2912554276C2779729104 @default.
- W2912554276 hasConceptScore W2912554276C33923547 @default.
- W2912554276 hasConceptScore W2912554276C41008148 @default.
- W2912554276 hasConceptScore W2912554276C5274069 @default.
- W2912554276 hasLocation W29125542761 @default.
- W2912554276 hasOpenAccess W2912554276 @default.
- W2912554276 hasPrimaryLocation W29125542761 @default.
- W2912554276 hasRelatedWork W1549937211 @default.
- W2912554276 hasRelatedWork W1566103579 @default.
- W2912554276 hasRelatedWork W1842417814 @default.
- W2912554276 hasRelatedWork W1987933965 @default.
- W2912554276 hasRelatedWork W1999780552 @default.
- W2912554276 hasRelatedWork W2011173527 @default.
- W2912554276 hasRelatedWork W2013083550 @default.
- W2912554276 hasRelatedWork W2067923908 @default.
- W2912554276 hasRelatedWork W2089175292 @default.
- W2912554276 hasRelatedWork W2139348098 @default.
- W2912554276 hasRelatedWork W2156583603 @default.
- W2912554276 hasRelatedWork W2167202795 @default.
- W2912554276 hasRelatedWork W2216115577 @default.
- W2912554276 hasRelatedWork W2612020758 @default.
- W2912554276 hasRelatedWork W2741100900 @default.
- W2912554276 hasRelatedWork W2882677335 @default.
- W2912554276 hasRelatedWork W2897208881 @default.
- W2912554276 hasRelatedWork W2964256821 @default.
- W2912554276 hasRelatedWork W2156285174 @default.
- W2912554276 hasRelatedWork W2432577492 @default.
- W2912554276 isParatext "false" @default.
- W2912554276 isRetracted "false" @default.
- W2912554276 magId "2912554276" @default.
- W2912554276 workType "article" @default.