Articles with "modules quantaloids" as a keyword



Photo by theblowup from unsplash

Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions

Sign Up to like & get
recommendations!
Published in 2017 at "Journal of Pure and Applied Algebra"

DOI: 10.1016/j.jpaa.2016.05.012

Abstract: We solve the isomorphism problem in the context of abstract algebraic logic and of π-institutions, namely the problem of when the notions of syntactic and semantic equivalence among logics coincide. The problem is solved in… read more here.

Keywords: isomorphism problem; modules quantaloids; algebraic logic; logic institutions ... See more keywords