Juan Soliveres Tur

According to our database, Juan Soliveres Tur authored at least 4 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2010

A 2-categorial Generalization of the Concept of Institution.

Juan Climent Vidal, Juan Soliveres Tur

Stud Logica, 2010

A 2-categorical framework for the syntax and semantics of many-sorted equational logic.

Juan Climent Vidal, Juan Soliveres Tur

Reports Math. Log., 2010

2008

Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics.

Juan Soliveres Tur, Juan Climent Vidal

Notre Dame J. Formal Log., 2008

2006

On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories.

Juan Climent Vidal, Juan Soliveres Tur

Reports Math. Log., 2006