- Dear colleagues:
The University of Cagliari is recruiting a postdoctoral researcher for 18 months. The successful candidate will work within the project “Order-theoretic properties in the algebraic semantics of nonclassical logics” (P.I. Antonio Ledda). You can find below a short resumé of the project. We are looking for a candidate with a strong background in mathematical logic and universal algebra. Skills and competences in one or more of the following fields would be an asset: residuated structures; substructural logics; quantum logics; fuzzy logics; quantum structures. The call for position (in Italian) is available at: http://dipartimenti.unica.it/pedagogiapsicologiafilosofia/fi les/2017/03/Bando-borsa-di-ricerca-6-del-2017.pdf Please remark that the call contains some misprints: see the errata at http://dipartimenti.unica.it/pedagogiapsicologiafilosofia/20 17/06/05/errata-corrige-bando-borsa-di-ricerca-n-62017-%c2% 93proprieta-d%c2%92ordine-nella-semantica-algebrica- delle-logiche-non-classiche%c2%94-responsabile-scientifico -prof-antonio-ledda/ The deadline for application is June, 20, 2017. Prospective applicants who do not speak Italian are encouraged to contact Antonio Ledda ( antonio.le...@unica.it) to obtain assistance for the application process. Please feel free to distribute this announcement among your students, as well as among other potentially interested scholars. Best regards, Francesco Paoli Lattice-ordered algebras are ubiquitous in mathematics, arising as they do in areas as diverse as functional analysis, classical general algebra, algebraic logic, mathematical physics and elsewhere. In all these domains, we often encounter algebras that have a lattice reduct together with additional signature. Among the various significant questions that naturally arise under these circumstances, we mention the following ones: a) to what extent are the properties of such algebras determined by the structure of the underlying lattices?; b) whenever there are operations everywhere definable in the class of lattice-ordered algebras under scrutiny, can one achieve valuable insights by expanding its signature to include terms realising the operations at issue?; c) to what extent do the main methods and constructions available to the lattice theorist carry over to the investigation of lattice-ordered algebras with additional operations? And can we fruitfully use in wider settings some methods that were originally devised in the restricted context of a given individual theory, like the theory of lattice-ordered groups (l-groups)? The way we intend to approach these problems is inspired by the work of P. F. Conrad, who, in the 1960s, launched a general programme for the investigation of l-groups, aimed at capturing relevant information about these algebras by showing that many significant properties of l-groups are, in essence, either purely lattice-theoretical, or at least such that the underlying group structure does not play a predominant role. A natural continuation of Conrad’s programme consists in extending it from l-groups to more comprehensive domains: on the one hand residuated lattices, algebras that play a prominent role as algebraic models of substructural logics, and on the other hand structures arising from quantum logic. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MrocAR%2BeAB6FM0zyg1SjHtnxQB0fPJSRnFd3hyX%3DXt0g%40mail.gmail.com.
