Page 1

Displaying 1 – 3 of 3

Showing per page

Generalized deductive systems in subregular varieties

Ivan Chajda (2003)

Mathematica Bohemica

An algebra 𝒜 = ( A , F ) is subregular alias regular with respect to a unary term function g if for each Θ , Φ Con 𝒜 we have Θ = Φ whenever [ g ( a ) ] Θ = [ g ( a ) ] Φ for each a A . We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset C A is a class of some congruence on Θ containing g ( a ) if and only if C is this generalized deductive system. This method is efficient (needs a finite number of steps).

Currently displaying 1 – 3 of 3

Page 1