Les treillis de Post entre algébres,
logiques multivalentes, et catégories.
Michel SERFATI
Séminaire d'Epistémologie et d'Histoire des Idées Mathématiques
IREM- Université Paris VII/Denis Diderot
[Balbes 1971], BALBES R. and DWINGER Ph., “Coproducts of boolean algebras and chains with
applications to Post algebras”, Colloquium Mathematicum XXIV-1.1971, 15-25.
[Balbes 1971a], BALBES R. and DWINGER Ph, "Uniqueness of representations of a distributive lattice as
a free product of a boolean algebra and a chain', Colloquium Mathematicum XXIV-1, 1971, 28-35.
[Beazer 1974], BEAZER, R., 'Some remarks on Post algebras’, Colloquium Mathematicum XXIX-2, 1974,
167-178.
(Birkhoff 1967] BIRKHOFF Garrett, Lartice Theory. American Mathematical Society Colloquium
Publications. Providence. 1967: (3° éd).
[Birkhoff 1933] BIRKHOFF Garrett, ‘On the combination of subalgebras’, Proc. Cambridge Philosophical
Sac. 29(1933), 441-464,
[Boole 1854] BOOLE George. An Investigation of the Laws of Thought on Which Are Founded the
Mathematical Theories of Logic and Probabilities. MacMillan, Londres. 1854, Réimpress. Dover. New York.
1958,
[Cartier 1998] CARTIER Pierre, ‘La folle journée, de Grothendieck a Alain Cones et Kontsevitch", Les
relations entre les mathématiques et la physique théorique, Festschrift for the 40" anniversary of the IHES. Le
Bois Marie, Bures-sur-Y vette, 1998.
[Chang 1961] CHANG & et A. HORN, ‘Prime ideals characterization of generalized Post algebras’, Proc.
Sympos. Pure Math., Providence, R.1., 2(1961), 43-48.
ye grdssten gemeinsamen
[Dedekind 1897] DEDEKIND Richard, ‘Uber Zerlegungen von Zahlen dure
Teiler’, Festchrift Techn. Hoch. Branuschweig( 1897) = Oeuvres, Vol. 2, 103-48,
[Dedekind 1897a] DEDEKIND Richard, 'Uber die von drei Moduln erzeugte Dualgruppe’,Math. annal. 53
(1900), 371-403 = Oeuvres, Vol. 2, p. 236-271
[Diagne 1989] DIAGNE Souleymane Bachir, BOOLE, l'oiseau de nuit en plein jour. Belin. Paris. 1989.
[Epstein 1960] EPSTEIN G., “The lattice theory of Post algebras”, Trans. Amer. Math. Soc 95 (1960), 300-
317,
[Grattan-Guinness 2002] GRATTAN-GUINNESS Ivor, ‘La psychologie dans les fondements de la
logique et des mathématiques’, De la méthode (M. Serfati éd. — traduct. A. Michel-Pajus). Presses
Universitaires Franc-Comtoises. Besangon. 2002, 215-246.
& LAKSER H., ‘Chain conditions in the free distributive product of
101-312,
[Griitzer 1969] GRATZEI
lattices’, Trans. AMS 44 (1969),
{Huntington 1904] HUNTINGTON E.V, ‘Sets of independant postulates for the algebra of logic’,
Transactions of the A.M.S 5 (1904), 288-309,
[Lukasiewicz 1958] LUKASIEWICZ Jan, Elements of Mathematical Logic, Pergamon, Oxford, 1966 (2°
ed.) Traduction de lédition polonaise de 1958 par O. Wojtasiewicz. La premidre édition (polonaise) de 1929
était constituée de notes prises au cours de auteur et approuvées par lui.
[Lukasiewicz 1930] LUKASIEWICZ J. et TARSKI A. ‘Untersuchungen iiber den Aussagenkalkiil, C. R.
Soc. Sci. Lett. Varsovie, Classe IM, vol. 23 (1930),1-21.
[Mac Lane 1971] MAC LANE Saunders, Categories for the working mathematician , Springer.
[Mac Lane 1950] MAC LANE Saunders, 'Duality for groups’, Bull. AMS 56. 1950, 485-516.[Mac Lane 1948] MAC LANE Saunders, ‘Groups, categories and duality’, Proc. Nat. Acad. Sci. USA 34,
263-267.
[Mac Lane 1948a] MAC LANE Saunders, Compte-rendu d'un article de Pierre Samuel dans Mathematical
Review 9,(1948), 605. L'article de Samuel était 'On Universal mappings and free topological groups’, Bull. AMS
54, 1948, 591-598.
[Mac Neille 1935} MAC NEILLE H.M, ‘The theory of partially ordered sets' Proceedings of the National
Academy of Sciences USA 22(1936), 44-50,
[Peirce 1880] PEIRCE Charles Saunders, ‘A Boolian Algebra with One Constant! in Oeuvres = Collected
Papers of Charles Saunders Peirce. C. Hartshorne et P. Weiss (eds). Harvard University Press. Cambridge-
Mass. 1960 (2° éd), vol.IV, 13-18.
ic of relatives, resulting from
25-86.
[Peirce 1870] PEIRCE Charles Saunders, 'Description of a notation for the |
an amplification of the conceptions of Boole's calculus of logic’ = Euvres, vol. I
[Post 1921] POST Emil, ‘Introduction to a general theory of elementary propositions’, American Journal of
Mathematics 43,1921), 163-185 = |Van Heijenhoort 1967}, 264-283,
[Rasiowa 1974] RASIOWA Helena, An algebraic approach to non-classical logics. North Holland, 1974.
[Rosenbloom 1942] ROSENBLOOM Paul Charles., ‘Post Algebras. Postulates and General Theory
(American Journal of mathematics 64, (1942), 167-188.
[Rousseau 1970] ROUSSEAU G., 'Post algebras and pseudo-Post algebras’, Fund. Math. 67(1970),133-145.
{Sawicka 1971] SAWICKA Helena, 'Some properties of Post algebras with countable chain of constants’,
Bulletin de Académie Polonaise des Sciences XIX, 1971, 267-269.
[Serfati 2005] SERFATI Michel, 'A note on triangulation of Post algebras and “leibnizian” lattices’, Proc.
35th International Symposium on Multiple-Valued Logic. (ISMVL 2005). Calgary. 2005.
[Serfati 1999] SERFATI Michel, ‘The lattice theory of r-ordered partitions’, Discrete Mathematics 184
(1999), 205-227.
[Serfati 1999a] SERFATI Michel, ‘Multivalued binary relations and Post algebras’, Actes dit congrés
ISMVL 29, Fribourg am Breisgau, 1999, 10-17
[Serfati 1998] SERFATI Miche!,”Quasi-ensembles d'ordre r et approximations de répartitions ordonnées”,
Mathématiques, informatique, et sciences humaines 143(1998), 5-26.
[Serfati 1996] SERFATI Michel,On postian algebraic equations’ Discrete Mathematics 152 (1996), 269-
285.
[Serfati 1973] SERFATI Michel, ‘Introduction aux Algebres de Post’, Cahiers du Bureau Universitaire de
Recherche Opérationnelle 21, Institut de Statistique des Universités de Paris. 1973.
[Sheffer 1913] SHEFFER Henry Maurice, 'A set of five independant postulates for boolean algebras, with
application to logical constants', Trans. Amer. Math, Soc. 14 (1913), 481-488.
[Stone 1937] STONE Marshall Harvey, Topological representations of Distributive Lattices and Brouwerian
Logics’, Casopis pro Pestovani matematiky A Fysiky 67(1937), 1-25.
[Stone 1936] STONE Marshall Harvey‘The theory of representation for Boolean algebras’, Trans. Amer.
Math. Soc. 40 (1936), 37-11
[Traczyk 1964] TRACZYK, T. ‘An equational definition of a Class of Post algebras’, Bulletin de
U'Académie Polonaise des Sciences X1-3 (1964), 147-149.
of Post algebras’, Colloquium
{Traczyck 1963] TRACZYCK,T, ‘Axioms and some properties
Mathematicum 0, (1963), 193-209.
[Van Heijenhoort 1967} VAN HEWENHOORT Jean, From Frege to Gédel, A source book in
mathematical logic, 1879-1931, Harvard University Press, Cambridge.Mass, 1967,
[Webb 1937] WEBB Donald, The algebra of n-valued logic ,C.R Soc. Sci. Varsovie 29(1937), 153-168.