Argitalpenak (21) JUAN BLAS CLIMENT VIDAL argitalpenak

2023

  1. Functoriality of the Schmidt construction

    Logic Journal of the IGPL, Vol. 31, Núm. 5, pp. 822-893

2020

  1. Congruence-based proofs of the recognizability theorems for free many-sorted algebras

    Journal of Logic and Computation, Vol. 30, Núm. 2, pp. 561-633

2019

  1. A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem

    Quaestiones Mathematicae, Vol. 42, Núm. 10, pp. 1427-1444

  2. Eilenberg Theorems for Many-Sorted Formations

    Houston Journal of Mathematics, Vol. 45, Núm. 2, pp. 321-369

2018

  1. Correction to: The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for? (Archive for History of Exact Sciences, (2018), 72, 2, (99-141), 10.1007/s00407-018-0202-6)

    Archive for History of Exact Sciences

  2. The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?

    Archive for History of Exact Sciences, Vol. 72, Núm. 2, pp. 99-141

  3. When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

    Logic Journal of the IGPL, Vol. 26, Núm. 4, pp. 381-407

2016

  1. On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra

    Houston Journal of Mathematics, Vol. 42, Núm. 3, pp. 741-760

2015

  1. On the directly and subdirectly irreducible many-sorted algebras

    Demonstratio Mathematica, Vol. 48, Núm. 1, pp. 1-12

2013

  1. On a theorem of ţǎnďareanu and tudor

    Annals of the University of Craiova, Mathematics and Computer Science Series, Vol. 40, Núm. 2, pp. 255-260

2010

  1. A 2-categorial generalization of the concept of institution

    Studia Logica, Vol. 95, Núm. 3, pp. 301-344

  2. Birkhoff-Frink representations as functors

    Mathematische Nachrichten, Vol. 283, Núm. 5, pp. 686-703

  3. Kleisli and Eilenberg-Moore Constructions as parts of Biadjoint Situations

    Extracta mathematicae, Vol. 25, Núm. 1, pp. 1-61

2009

  1. A transformation between institutions representing the theorem of Herbrand-Schmidt-Wang

    Bulletin of the Section of Logic, Vol. 38, Núm. 1-2, pp. 77-94

  2. When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras

    Houston Journal of Mathematics, Vol. 35, Núm. 2, pp. 363-372

2008

  1. Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics

    Notre Dame Journal of Formal Logic, Vol. 49, Núm. 2, pp. 185-202

2005

  1. The completeness theorem for monads in categories of sorted sets

    Houston Journal of Mathematics, Vol. 31, Núm. 1, pp. 103-130

2004

  1. On many-sorted algebraic closure operators

    Mathematische Nachrichten, Vol. 266, pp. 81-84

1992

  1. Instituciones y heterogeindad

    Theoria: an international journal for theory, history and foundations of science, Vol. 7, Núm. 16, pp. 65-85

1989

  1. On the relation between heterogeneous uniform 2-algebraic closure operators and heterogeneous algebras

    Collectanea mathematica, Vol. 40, Fasc. 2, pp. 93-101