Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159279212> ?p ?o ?g. }
- W2159279212 endingPage "556" @default.
- W2159279212 startingPage "525" @default.
- W2159279212 abstract "A deductive system is structurally complete if all of its admissible inference rules are derivable. For several important systems, like the modal logic S5, failure of structural completeness is caused only by the underivability of a passive rule, i.e., a rule whose premise is not unifiable by any substitution. Neglecting passive rules leads to the notion of almost structural completeness, that means, to the derivability of admissible non-passive rules. We investigate almost structural completeness for quasivarieties and varieties of general algebras. The results apply to all algebraizable deductive systems. Firstly, various characterizations of almost structurally complete quasivarieties are presented. Two of them are general: the one expressed with finitely presented algebras, and the one expressed with subdirectly irreducible algebras. The next one is restricted to quasivarieties with the finite model property and equationally definable principal relative congruences, where the condition is verifiable on finite subdirectly irreducible algebras. Some connections with exact and projective unification are included. Secondly, examples of almost structurally complete varieties are provided. Particular emphasis is put on varieties of closure algebras, that are known to constitute adequate semantics for normal extensions of the modal logic S4. A certain infinite family of such almost structurally complete, but not structurally complete, varieties is constructed. Every variety from this family has a finitely presented unifiable algebra which does not embed into any free algebra for this variety. Hence unification is not unitary there. This shows that almost structural completeness is strictly weaker than projective unification for varieties of closure algebras." @default.
- W2159279212 created "2016-06-24" @default.
- W2159279212 creator A5041591752 @default.
- W2159279212 creator A5075820635 @default.
- W2159279212 date "2016-07-01" @default.
- W2159279212 modified "2023-10-18" @default.
- W2159279212 title "Almost structural completeness; an algebraic approach" @default.
- W2159279212 cites W1554619471 @default.
- W2159279212 cites W1970138271 @default.
- W2159279212 cites W1974112089 @default.
- W2159279212 cites W1977631992 @default.
- W2159279212 cites W1980141941 @default.
- W2159279212 cites W1982890778 @default.
- W2159279212 cites W1984616877 @default.
- W2159279212 cites W1986995369 @default.
- W2159279212 cites W1988370352 @default.
- W2159279212 cites W2003364215 @default.
- W2159279212 cites W2007096790 @default.
- W2159279212 cites W2018277356 @default.
- W2159279212 cites W2022870017 @default.
- W2159279212 cites W2024350733 @default.
- W2159279212 cites W2031871805 @default.
- W2159279212 cites W2039105437 @default.
- W2159279212 cites W2056447550 @default.
- W2159279212 cites W2063072330 @default.
- W2159279212 cites W2069306217 @default.
- W2159279212 cites W2070901246 @default.
- W2159279212 cites W2071182863 @default.
- W2159279212 cites W2077311448 @default.
- W2159279212 cites W2081160992 @default.
- W2159279212 cites W2084684966 @default.
- W2159279212 cites W2089175292 @default.
- W2159279212 cites W2098119250 @default.
- W2159279212 cites W2099602798 @default.
- W2159279212 cites W2108756969 @default.
- W2159279212 cites W2113555999 @default.
- W2159279212 cites W2126852230 @default.
- W2159279212 cites W2145062905 @default.
- W2159279212 cites W2154755287 @default.
- W2159279212 cites W2158627825 @default.
- W2159279212 cites W2159310931 @default.
- W2159279212 cites W2170146694 @default.
- W2159279212 cites W2202030908 @default.
- W2159279212 cites W2330722544 @default.
- W2159279212 cites W2496544547 @default.
- W2159279212 cites W2513075719 @default.
- W2159279212 cites W2963840417 @default.
- W2159279212 cites W4251128080 @default.
- W2159279212 cites W4255255331 @default.
- W2159279212 cites W2087256242 @default.
- W2159279212 cites W2111807398 @default.
- W2159279212 doi "https://doi.org/10.1016/j.apal.2016.03.002" @default.
- W2159279212 hasPublicationYear "2016" @default.
- W2159279212 type Work @default.
- W2159279212 sameAs 2159279212 @default.
- W2159279212 citedByCount "15" @default.
- W2159279212 countsByYear W21592792122014 @default.
- W2159279212 countsByYear W21592792122017 @default.
- W2159279212 countsByYear W21592792122018 @default.
- W2159279212 countsByYear W21592792122019 @default.
- W2159279212 countsByYear W21592792122020 @default.
- W2159279212 countsByYear W21592792122021 @default.
- W2159279212 countsByYear W21592792122022 @default.
- W2159279212 countsByYear W21592792122023 @default.
- W2159279212 crossrefType "journal-article" @default.
- W2159279212 hasAuthorship W2159279212A5041591752 @default.
- W2159279212 hasAuthorship W2159279212A5075820635 @default.
- W2159279212 hasBestOaLocation W21592792122 @default.
- W2159279212 hasConcept C105795698 @default.
- W2159279212 hasConcept C118615104 @default.
- W2159279212 hasConcept C134306372 @default.
- W2159279212 hasConcept C136119220 @default.
- W2159279212 hasConcept C136197465 @default.
- W2159279212 hasConcept C146834321 @default.
- W2159279212 hasConcept C162324750 @default.
- W2159279212 hasConcept C17231256 @default.
- W2159279212 hasConcept C188971069 @default.
- W2159279212 hasConcept C202444582 @default.
- W2159279212 hasConcept C33923547 @default.
- W2159279212 hasConcept C34447519 @default.
- W2159279212 hasConceptScore W2159279212C105795698 @default.
- W2159279212 hasConceptScore W2159279212C118615104 @default.
- W2159279212 hasConceptScore W2159279212C134306372 @default.
- W2159279212 hasConceptScore W2159279212C136119220 @default.
- W2159279212 hasConceptScore W2159279212C136197465 @default.
- W2159279212 hasConceptScore W2159279212C146834321 @default.
- W2159279212 hasConceptScore W2159279212C162324750 @default.
- W2159279212 hasConceptScore W2159279212C17231256 @default.
- W2159279212 hasConceptScore W2159279212C188971069 @default.
- W2159279212 hasConceptScore W2159279212C202444582 @default.
- W2159279212 hasConceptScore W2159279212C33923547 @default.
- W2159279212 hasConceptScore W2159279212C34447519 @default.
- W2159279212 hasFunder F4320322511 @default.
- W2159279212 hasIssue "7" @default.
- W2159279212 hasLocation W21592792121 @default.
- W2159279212 hasLocation W21592792122 @default.
- W2159279212 hasLocation W21592792123 @default.
- W2159279212 hasOpenAccess W2159279212 @default.