31 research outputs found

    On subreducts of subresiduated lattices and logic

    Full text link
    Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is defined, but without requiring of the models some of the properties required in the intuitionistic case. Also in relation with the study of subintuitionistic logics, Celani and Jansana get these algebras as the elements of a subvariety of that of weak Heyting algebras. Here, we study both the implicative and the implicative-infimum subreducts of subresiduated lattices. Besides, we propose a calculus whose algebraic semantics is given by these classes of algebras. Several expansions of this calculi are also studied together to some interesting properties of them

    The writing on the wall: the concealed communities of the East Yorkshire horselads

    Get PDF
    This paper examines the graffiti found within late nineteenth and early-twentieth century farm buildings in the Wolds of East Yorkshire. It suggests that the graffiti were created by a group of young men at the bottom of the social hierarchy - the horselads – and was one of the ways in which they constructed a distinctive sense of communal identity, at a particular stage in their lives. Whilst it tells us much about changing agricultural regimes and social structures, it also informs us about experiences and attitudes often hidden from official histories and biographies. In this way, the graffiti are argued to inform our understanding, not only of a concealed community, but also about their hidden histor

    Insulin-like growth factor-1 deficiency and metabolic syndrome

    Full text link

    Historical Archaeologies of the American West

    Full text link
    corecore