Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949263100> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2949263100 abstract "A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can not be applied to theorems of the system. Neglecting passive rules leads to the notion of almost structural completeness, that means, derivablity of admissible non-passive rules. Almost structural completeness for quasivarieties and varieties of general algebras is investigated here by purely algebraic means. The results apply to all algebraizable deductive systems. Firstly, various characterizations of almost structurally complete quasivarieties are presented. Two of them are general: expressed with finitely presented algebras, and with subdirectly irreducible algebras. One is restricted to quasivarieties with finite model property and equationally definable principal relative congruences, where the condition is verifiable on finite subdirectly irreducible algebras. 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 S4 modal logic. 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 in it is not unitary. This shows that almost structural completeness is strictly weaker than projective unification for varieties of closure algebras." @default.
- W2949263100 created "2019-06-27" @default.
- W2949263100 creator A5041591752 @default.
- W2949263100 creator A5075820635 @default.
- W2949263100 date "2014-02-22" @default.
- W2949263100 modified "2023-09-27" @default.
- W2949263100 title "Almost structural completeness; an algebraic approach" @default.
- W2949263100 cites W1519478560 @default.
- W2949263100 cites W1554619471 @default.
- W2949263100 cites W1579494268 @default.
- W2949263100 cites W1972598366 @default.
- W2949263100 cites W1974112089 @default.
- W2949263100 cites W1984616877 @default.
- W2949263100 cites W1986995369 @default.
- W2949263100 cites W2003364215 @default.
- W2949263100 cites W2007096790 @default.
- W2949263100 cites W2018277356 @default.
- W2949263100 cites W2030606453 @default.
- W2949263100 cites W2031871805 @default.
- W2949263100 cites W2063072330 @default.
- W2949263100 cites W2069306217 @default.
- W2949263100 cites W2070901246 @default.
- W2949263100 cites W2071182863 @default.
- W2949263100 cites W2077395144 @default.
- W2949263100 cites W2077847391 @default.
- W2949263100 cites W2084684966 @default.
- W2949263100 cites W2089175292 @default.
- W2949263100 cites W2093397547 @default.
- W2949263100 cites W2099602798 @default.
- W2949263100 cites W2145062905 @default.
- W2949263100 cites W218846062 @default.
- W2949263100 cites W233773926 @default.
- W2949263100 cites W2949377330 @default.
- W2949263100 cites W2963840417 @default.
- W2949263100 cites W563823708 @default.
- W2949263100 cites W61355775 @default.
- W2949263100 cites W2087256242 @default.
- W2949263100 cites W2111807398 @default.
- W2949263100 hasPublicationYear "2014" @default.
- W2949263100 type Work @default.
- W2949263100 sameAs 2949263100 @default.
- W2949263100 citedByCount "0" @default.
- W2949263100 crossrefType "posted-content" @default.
- W2949263100 hasAuthorship W2949263100A5041591752 @default.
- W2949263100 hasAuthorship W2949263100A5075820635 @default.
- W2949263100 hasConcept C105795698 @default.
- W2949263100 hasConcept C134306372 @default.
- W2949263100 hasConcept C136119220 @default.
- W2949263100 hasConcept C136197465 @default.
- W2949263100 hasConcept C146834321 @default.
- W2949263100 hasConcept C162324750 @default.
- W2949263100 hasConcept C17231256 @default.
- W2949263100 hasConcept C188971069 @default.
- W2949263100 hasConcept C202444582 @default.
- W2949263100 hasConcept C33923547 @default.
- W2949263100 hasConcept C34447519 @default.
- W2949263100 hasConcept C9973445 @default.
- W2949263100 hasConceptScore W2949263100C105795698 @default.
- W2949263100 hasConceptScore W2949263100C134306372 @default.
- W2949263100 hasConceptScore W2949263100C136119220 @default.
- W2949263100 hasConceptScore W2949263100C136197465 @default.
- W2949263100 hasConceptScore W2949263100C146834321 @default.
- W2949263100 hasConceptScore W2949263100C162324750 @default.
- W2949263100 hasConceptScore W2949263100C17231256 @default.
- W2949263100 hasConceptScore W2949263100C188971069 @default.
- W2949263100 hasConceptScore W2949263100C202444582 @default.
- W2949263100 hasConceptScore W2949263100C33923547 @default.
- W2949263100 hasConceptScore W2949263100C34447519 @default.
- W2949263100 hasConceptScore W2949263100C9973445 @default.
- W2949263100 hasLocation W29492631001 @default.
- W2949263100 hasOpenAccess W2949263100 @default.
- W2949263100 hasPrimaryLocation W29492631001 @default.
- W2949263100 hasRelatedWork W1593006801 @default.
- W2949263100 hasRelatedWork W1637043830 @default.
- W2949263100 hasRelatedWork W1974847715 @default.
- W2949263100 hasRelatedWork W1992234386 @default.
- W2949263100 hasRelatedWork W2013191336 @default.
- W2949263100 hasRelatedWork W2015579158 @default.
- W2949263100 hasRelatedWork W2022554132 @default.
- W2949263100 hasRelatedWork W2051838285 @default.
- W2949263100 hasRelatedWork W2058392484 @default.
- W2949263100 hasRelatedWork W2138323599 @default.
- W2949263100 hasRelatedWork W2160776691 @default.
- W2949263100 hasRelatedWork W2182354728 @default.
- W2949263100 hasRelatedWork W2400191458 @default.
- W2949263100 hasRelatedWork W2441976789 @default.
- W2949263100 hasRelatedWork W2756920211 @default.
- W2949263100 hasRelatedWork W2774874668 @default.
- W2949263100 hasRelatedWork W2783611661 @default.
- W2949263100 hasRelatedWork W3108610421 @default.
- W2949263100 hasRelatedWork W3199132729 @default.
- W2949263100 hasRelatedWork W899401075 @default.
- W2949263100 isParatext "false" @default.
- W2949263100 isRetracted "false" @default.
- W2949263100 magId "2949263100" @default.
- W2949263100 workType "article" @default.