Juan Climent Vidal

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 6

Top Topics

Clifford Algebra

Digital Topology

Top Venues

J. Log. Comput.

Publications

Juan Climent Vidal, Enric Cosme-Llópez
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. CoRR (2024)
Juan Climent Vidal, Enric Cosme-Llópez
Functoriality of the Schmidt construction. Log. J. IGPL 31 (5) (2023)
Juan Climent Vidal, Enric Cosme-Llópez
Congruence-based proofs of the recognizability theorems for free many-sorted algebras. J. Log. Comput. 30 (2) (2020)
Juan Climent Vidal, Enric Cosme-Llópez
Congruence based proofs of the recognizability theorems for free many-sorted algebras. CoRR (2018)
Juan Climent Vidal, Enric Cosme-Llópez
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? Log. J. IGPL 26 (4) (2018)
Juan Climent Vidal, Enric Cosme-Llópez
Eilenberg theorems for many-sorted formations. CoRR (2016)
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)