Difference between revisions of "Many-sorted algebra"

Latest revision as of 13:12, 14 March 2022

Many-sorted algebra(Q59303231) is a kind of algebra, which is closely related to many-sorted logic.

Revision as of 10:57, 14 March 2022 (view source) Benkoo (talk \| contribs) (Created page with "{{WikiEntry\|key=Many-sorted algebra\|qCode=59303231}}")		Latest revision as of 13:12, 14 March 2022 (view source) Benkoo (talk \| contribs)
Line 1:		Line 1:
	{{WikiEntry\|key=Many-sorted algebra\|qCode=59303231}}		{{WikiEntry\|key=Many-sorted algebra\|qCode=59303231}} is a kind of algebra, which is closely related to [[many-sorted logic]].