Jump to content

Many-sorted logic

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Physis (talk | contribs) at 22:42, 28 November 2006 (An external link: algebraization). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

An algebraization of many-sorted logic can be read in On the algebraization of many-sorted logics, written by Carlos Caleiro and Ricardo Gonçalves. The book also can be used as introductory material.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Many-sorted_logic&oldid=90763181"