Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions
Sign Up to like & getrecommendations! 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