Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

J. Vidal, and J. Tur. Reports Math. Log., (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hsiao-Mei Juan

Alexander Juan

Pere Juan i Tous

María Elena Juan Pardo

Pedro Juan-Tous

Other publications of authors with the same name

A 2-categorial Generalization of the Concept of Institution.J. Vidal, and J. Tur. Stud Logica, 95 (3): 301-344 (2010)From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.J. Vidal, and E. Cosme-Llópez. CoRR, (2024)A 2-categorical framework for the syntax and semantics of many-sorted equational logic.J. Vidal, and J. Tur. Reports Math. Log., (2010)When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?J. Vidal, and E. Cosme-Llópez. Logic Journal of the IGPL, 26 (4): 381-407 (2018)Congruence-based proofs of the recognizability theorems for free many-sorted algebras.J. Vidal, and E. Cosme-Llópez. J. Log. Comput., 30 (2): 561-633 (2020)Eilenberg theorems for many-sorted formations.J. Vidal, and E. Cosme-Llópez. CoRR, (2016)Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics.J. Tur, and J. Vidal. Notre Dame J. Formal Log., 49 (2): 185-202 (2008)On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories.J. Vidal, and J. Tur. Reports Math. Log., (2006)Congruence based proofs of the recognizability theorems for free many-sorted algebras.J. Vidal, and E. Cosme-Llópez. CoRR, (2018)Functoriality of the Schmidt construction.J. Vidal, and E. Cosme-Llópez. Log. J. IGPL, 31 (5): 822-893 (September 2023)

BibSonomy

Disambiguation of "Vidal, Juan Climent"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

Please choose a person to relate this publication to

Hsiao-Mei Juan

Alexander Juan

Pere Juan i Tous

María Elena Juan Pardo

Pedro Juan-Tous

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Vidal, Juan Climent"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories.

Please choose a person to relate this publication to

Hsiao-Mei Juan

Alexander Juan

Pere Juan i Tous

María Elena Juan Pardo

Pedro Juan-Tous

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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