| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910416475303321 |
|
|
Autore |
Voisenet Jacques |
|
|
Titolo |
Bestiaire chrétien : L’imagerie animale des auteurs du Haut Moyen Âge (Ve-XIe siècles) / / Jacques Voisenet |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Toulouse, : Presses universitaires du Midi, 2019 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (386 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Literature, Medieval - History and criticism |
Animals in literature |
Bestiaries |
Animals - Folklore |
Animals - Religious aspects - Christianity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Entre le ve et xie siècle, la vision du monde animal que donne la littérature occidentale est la résultante de bien des héritages : gréco-romain, judéo-chrétien, mais aussi celtique ou germanique... Jacques Voisenet en détermine ici la nature et le poids. Il montre aussi que le bestiaire du Haut Moyen Âge n'est pas dénué d'une certaine nouveauté : les clercs ont su adapter les acquis du passé au système symbolique du christianisme et faire de la faune un véritable instrument au service de la foi. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910788870803321 |
|
|
Autore |
Blok W. J. <1947-> |
|
|
Titolo |
Algebraizable logics / / W.J. Blok and Don Pigozzi |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , 1989 |
|
©1989 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (89 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 0065-9266 ; ; Volume 77, Number 396 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Volume 77, number 396 (third of 4 numbers)." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Introduction""; ""1 Deductive Systems and Matrix Semantics""; ""1.1 The Lattice of Theories""; ""1.2 Matrix Semantics""; ""1.3 Deductive Systems as Elementary Theories""; ""1.4 The Elementary Leibniz Equivalence Relation""; ""1.4.1 Protoalgebraic Logics""; ""2 Equational Consequence and Algebraic Semantics""; ""2.1 Algebraic Semantics""; ""2.2 Equivalent Algebraic Semantics""; ""2.2.1 Uniqueness""; ""2.2.2 Axiomatization""; ""3 The Lattice of Theories""; ""4 Two Intrinsic Characterizations""; ""4.1 The Leibniz Operator""; ""4.2 A Second Intrinsic Characterization"" |
""5 Matrix Semantics and Algebraizability""""5.1 Matrix Semantics and Algebraic Semantics""; ""5.2 Applications and Examples""; ""5.2.1 Modal Logics""; ""5.2.2 Entailment and Relevance Logics""; ""5.2.3 Pure Implicational Logics""; ""5.2.4 Two Logics with the Same Algebraization""; ""5.2.5 Intuitionistic Propositional Logic without Implication""; ""5.2.6 Equivalential Logic""; ""A: Elementary Definitional Equivalence""; ""B: An Example""; ""C: Predicate Logic""; ""Bibliography""; ""Index""; ""A""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""P""; ""Q""; ""R"" |
""S""""T""; ""U"" |
|
|
|
|
|
|
|
| |