Sign Up to like & get
recommendations!
0
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