Equivalences among various logical frameworks of partial algebras

This publication has 25 references indexed in Scilit:

• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
  Mathematical Structures in Computer Science, 1995
• A hierarchy of institutions separated by properties of parameterized abstract data types
  Published by Springer Nature ,1995
• Programs in partial algebras
  Theoretical Computer Science, 1993
• Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
  Theoretical Computer Science, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• A partial functions version of Church's simple theory of types
  The Journal of Symbolic Logic, 1990
• On recent trends in algebraic specification
  Published by Springer Nature ,1989
• Weak varieties of partial algebras
  Algebra universalis, 1988
• Localisation, spectra and sheaf representation
  Published by Springer Nature ,1979
• Aspects of topoi
  Bulletin of the Australian Mathematical Society, 1972