On subdirectly irreducible OMAs

Holzer, Richard

doi:10.1007/s11225-005-1277-z

Cited by 2 publications

(3 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…that t is interpreted w.r.t.ṽ (or, in other words, v interprets t). 27 In the following we do not mention the operation symbols from E explicitly because of their fixed interpretation, and since there are no conflicts to be expected. be defined as follows: Let P 0 := { × i∈J A i | J ∈ F } -as an S-set.…”

Section: Constructions Of New Partial Algebrasmentioning

confidence: 99%

“…[40], [14] and also [27]. [14] and in particular [27] contain some examples. For different concepts of subdirect representations for partial algebras see [10], section 20.…”

Section: Varieties and Quasivarieties Of Partial Algebrasmentioning

confidence: 99%

“…In [17], [18] and [27] the ECE-variety of orthomodular partial algebras 7 has been investigated. And in many papers and a book [20] by S.Pulmannova and A.Dvurečenskij some more quasivarieties of partial algebras, among others those of effect algebras and D-algebras, have been investigated.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Algebraic theory of quasivarieties of heterogeneous partial algebras

Burmeister

2004

Stud Logica

View full text Add to dashboard Cite

Based on existence equations, quasivarieties of heterogeneous partial algebras have the same algebraic description as those of total algebras. Because of the restriction of the valuations to the free variables of a formula -the usual reference to the needed variables e.g. for identities (in order to get useful and manageable results) is essentially replaced here by the use of the "logical Craig projections" -already varieties of heterogeneous partial algebras behave to some extent rather like quasivarieties than having the properties known from varieties of total homogeneous algebras. It is one of the main aims of this note to make this more explicit. On the other hand we want to list several results known for quasivarieties of heterogeneous partial algebras -and adopt them to the extended signature -after having recalled the language and the main concepts necessary for the understanding of the results.

show abstract

Section: Constructions Of New Partial Algebrasmentioning

confidence: 99%

“…[40], [14] and also [27]. [14] and in particular [27] contain some examples. For different concepts of subdirect representations for partial algebras see [10], section 20.…”

Section: Varieties and Quasivarieties Of Partial Algebrasmentioning

confidence: 99%