Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099218991> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2099218991 abstract "In this note, it is shown that, given a π -institution ℐ = 〈Sign, SEN, C 〉, with N a category of natural transformations on SEN, every theory family T of ℐ includes a unique largest theory system of ℐ. satisfies the important property that its N -Leibniz congruence system always includes that of T . As a consequence, it is shown, on the one hand, that the relation ΩN() = ΩN(T ) characterizes N -protoalgebraicity inside the class of N -prealgebraic π -institutions and, on the other, that all N -Leibniz theory families associated with theory families of a protoalgebraic π -institution ℐ are in fact N -Leibniz theory systems. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W2099218991 created "2016-06-24" @default.
- W2099218991 creator A5078947872 @default.
- W2099218991 date "2006-06-01" @default.
- W2099218991 modified "2023-10-16" @default.
- W2099218991 title "Categorical abstract algebraic logic: The largest theory system included in a theory family" @default.
- W2099218991 cites W1560156849 @default.
- W2099218991 cites W1579373647 @default.
- W2099218991 cites W1970472618 @default.
- W2099218991 cites W1971410956 @default.
- W2099218991 cites W2091870191 @default.
- W2099218991 cites W2577190837 @default.
- W2099218991 cites W4247559916 @default.
- W2099218991 doi "https://doi.org/10.1002/malq.200510034" @default.
- W2099218991 hasPublicationYear "2006" @default.
- W2099218991 type Work @default.
- W2099218991 sameAs 2099218991 @default.
- W2099218991 citedByCount "3" @default.
- W2099218991 crossrefType "journal-article" @default.
- W2099218991 hasAuthorship W2099218991A5078947872 @default.
- W2099218991 hasConcept C105795698 @default.
- W2099218991 hasConcept C111472728 @default.
- W2099218991 hasConcept C118615104 @default.
- W2099218991 hasConcept C132074034 @default.
- W2099218991 hasConcept C134306372 @default.
- W2099218991 hasConcept C136119220 @default.
- W2099218991 hasConcept C138885662 @default.
- W2099218991 hasConcept C139676723 @default.
- W2099218991 hasConcept C144024400 @default.
- W2099218991 hasConcept C189950617 @default.
- W2099218991 hasConcept C199343813 @default.
- W2099218991 hasConcept C202444582 @default.
- W2099218991 hasConcept C2524010 @default.
- W2099218991 hasConcept C2777212361 @default.
- W2099218991 hasConcept C2777686260 @default.
- W2099218991 hasConcept C2779782106 @default.
- W2099218991 hasConcept C2780510313 @default.
- W2099218991 hasConcept C33923547 @default.
- W2099218991 hasConcept C36289849 @default.
- W2099218991 hasConcept C47030870 @default.
- W2099218991 hasConcept C5274069 @default.
- W2099218991 hasConcept C54884031 @default.
- W2099218991 hasConcept C71924100 @default.
- W2099218991 hasConcept C86523455 @default.
- W2099218991 hasConcept C9376300 @default.
- W2099218991 hasConceptScore W2099218991C105795698 @default.
- W2099218991 hasConceptScore W2099218991C111472728 @default.
- W2099218991 hasConceptScore W2099218991C118615104 @default.
- W2099218991 hasConceptScore W2099218991C132074034 @default.
- W2099218991 hasConceptScore W2099218991C134306372 @default.
- W2099218991 hasConceptScore W2099218991C136119220 @default.
- W2099218991 hasConceptScore W2099218991C138885662 @default.
- W2099218991 hasConceptScore W2099218991C139676723 @default.
- W2099218991 hasConceptScore W2099218991C144024400 @default.
- W2099218991 hasConceptScore W2099218991C189950617 @default.
- W2099218991 hasConceptScore W2099218991C199343813 @default.
- W2099218991 hasConceptScore W2099218991C202444582 @default.
- W2099218991 hasConceptScore W2099218991C2524010 @default.
- W2099218991 hasConceptScore W2099218991C2777212361 @default.
- W2099218991 hasConceptScore W2099218991C2777686260 @default.
- W2099218991 hasConceptScore W2099218991C2779782106 @default.
- W2099218991 hasConceptScore W2099218991C2780510313 @default.
- W2099218991 hasConceptScore W2099218991C33923547 @default.
- W2099218991 hasConceptScore W2099218991C36289849 @default.
- W2099218991 hasConceptScore W2099218991C47030870 @default.
- W2099218991 hasConceptScore W2099218991C5274069 @default.
- W2099218991 hasConceptScore W2099218991C54884031 @default.
- W2099218991 hasConceptScore W2099218991C71924100 @default.
- W2099218991 hasConceptScore W2099218991C86523455 @default.
- W2099218991 hasConceptScore W2099218991C9376300 @default.
- W2099218991 hasLocation W20992189911 @default.
- W2099218991 hasOpenAccess W2099218991 @default.
- W2099218991 hasPrimaryLocation W20992189911 @default.
- W2099218991 hasRelatedWork W1503530893 @default.
- W2099218991 hasRelatedWork W1989039217 @default.
- W2099218991 hasRelatedWork W2024069909 @default.
- W2099218991 hasRelatedWork W2069832399 @default.
- W2099218991 hasRelatedWork W2072037414 @default.
- W2099218991 hasRelatedWork W2093385418 @default.
- W2099218991 hasRelatedWork W2177703916 @default.
- W2099218991 hasRelatedWork W2625422989 @default.
- W2099218991 hasRelatedWork W2734938181 @default.
- W2099218991 hasRelatedWork W2949562154 @default.
- W2099218991 isParatext "false" @default.
- W2099218991 isRetracted "false" @default.
- W2099218991 magId "2099218991" @default.
- W2099218991 workType "article" @default.