CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Categorical abstract algebraic logic: The criterion for deductive equivalence Export

MLQ, Vol. 49, No. 4. (2003), pp. 347-352.

Citation Format

[Posts]

View FullText article


X Reviews [Write a review of this article]

X Find related articles from these CiteULike users

X Find related articles with these CiteULike tags

X Posting History

X Abstract

Equivalent deductive systems were introduced in [4] with the goal of treating 1-deductive systems and algebraic 2-deductive systems in a uniform way. Results of [3], appropriately translated and strengthened, show that two deductive systems over the same language type are equivalent if and only if their lattices of theories are isomorphic via an isomorphism that commutes with substitutions. Deductive equivalence of ?-institutions [14, 15] generalizes the notion of equivalence of deductive systems. In [15, Theorem 10.26] this criterion for the equivalence of deductive systems was generalized to a criterion for the deductive equivalence of term ?-institutions, forming a subclass of all ?-institutions that contains those ?-institutions directly corresponding to deductive systems. This criterion is generalized here to cover the case of arbitrary ?-institutions.


X BibTeX record

X RIS record