Juan Soliveres Tur

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Juan Climent Vidal, Juan Soliveres Tur
A 2-categorial Generalization of the Concept of Institution. Stud Logica 95 (3) (2010)
Juan Climent Vidal, Juan Soliveres Tur
A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Reports Math. Log. 45 (2010)
Juan Soliveres Tur, Juan Climent Vidal
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics. Notre Dame J. Formal Log. 49 (2) (2008)
Juan Climent Vidal, Juan Soliveres Tur
On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories. Reports Math. Log. 40 (2006)