6 research outputs found

    Quantifier elimination and other model-theoretic properties of BL-algebras

    Get PDF
    This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models. © 2011 by University of Notre Dame.Peer Reviewe

    Quantifier elimination and other model-theoretic properties of BL-algebras

    No full text
    This work presents a model-theoretic approach to the study of first-order theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras, whose first-order theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models

    Quantifier elimination and other model-theoretic properties of BL-algebras

    No full text
    This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models. © 2011 by University of Notre Dame

    Human-derived landscape changes on the northern Etruria coast (western Italy) between Roman times and the late Middle Ages

    No full text
    Anthracological analysis has been carried out in three sites located on the Tyrrhenian coast of central Italy (ancient northern Etruria: the castle of Donoratico, the town of Populonia and the port of Alberese), spanning between the Roman Republican Period and the Late Middle Ages (3rd century BC???13th century AD). The integrated comparison of three different local charcoal data with the regional pollen and microcharcoal data available from northern Etruria showed well that vegetation changes are completely independent of climate and strictly connected to economic and social dynamics characterising the history of this part of central Italy. Indeed, Quercus ilex forests progressively retracted from the 3rd century BC in favour of open macchia formations just during the growing human impact of the Romanisation when intensive agriculture and livestock grazing characterised the economic system. The transition from macchia to deciduous Quercus forest at the end of the Roman Period from the mid-4th to the mid-5th centuries AD and long lasting until the 9th???10th centuries AD was related to economic and cultural factors which led to a phase of land abandonment. Finally, between the 11th and 13th centuries AD, the vegetation cover shifted again towards an open macchia environment at the same time of a re-settlement phase well evidenced also by intensive orcharding. Charcoal data also showed that the expansion of olive and chestnut in central Italy only began in the Late Medieval Period (11th century AD) and not in the Roman Period. This means that extensive cultivation of chestnut and olive has very recent origins and should be attributed to one and the same macro-factor such as the set-up of the economic establishment of the feudal system and the later political organism of the Medieval town

    A banchetto con gli amici. Scritti per Massimo Montanari

    No full text
    Massimo Montanari ha insegnato all’Università di Bologna per più di quarant’anni, prima Storia medievale e poi Storia dell'alimentazione, e ha dato vita al Master europeo in “Storia e cultura dell'alimentazione”. È senz’altro uno dei maggiori esperti internazionali di una storia dell’alimentazione intesa come sistema culturale che può restituire il passato nella sua interezza, ma è altrettanto noto per i suoi studi di storia agraria, anch’essi sempre intesi a raggiungere una ricostruzione a tutto tondo delle società medievali, indagandone le strutture economiche e sociali insieme con quelle politiche e culturali. Questo libro, concepito come omaggio alla sua figura di studioso e di maestro, cerca di restituire il poliedrico spettro dei suoi interessi intellettuali e delle relazioni professionali e umane che ha saputo costruire nel tempo. Studiosi, allievi, collaboratori e amici hanno partecipato a questo metaforico banchetto contribuendo, ciascuno secondo il proprio stile, alla vivace conversazione propria di una tavola riccamente imbandita
    corecore