Many-sorted logic
Jump to navigation
Jump to search
Many-sorted logic(Q2303607) is hierarchical typed logic. It is closely related to many-sorted algebra.
Many-sorted logic(Q2303607) is hierarchical typed logic. It is closely related to many-sorted algebra.