Grabowski lattices are generated by graphs

• Autorzy: Kolany A.
• Języki publikacji: EN

Abstrakty

EN

We show that Grabowski lattices of substitutions (see [1], [2]) are isomorphic to lattices generated by certain graphs, [3]. Since the latter are Heyting algebras, this will imply that so are the Grabowski lattices.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2002
• Tom: No. 36
• Strony: 63--69
• Opis fizyczny: Bibliogr. 5 poz., rys.

Twórcy

autor

Kolany A.

• Institute of Mathematics, University of Silesia Bankowa 14 40-007 Katowice Poland,

Bibliografia

• [1] Grabowski A., Lattice of Substitutions, Form. Math., v.6, no.3, 1997, pp.359–361.
• [2] Grabowski A., Lattice of Substitutions is a Heyting Algebra, J. of Form. Math., v.10, 1998, http://mizar.uwb.edu.pl/JFM/Vol10/heyting2.html
• [3] Kolany A., Hypergraphs and the Intuitionistic Propositional Calculus, Reports on Mathematical Logic, (27)1993, pp. 55 - 66,
• [4] Meinke K., Tuckey J.V., Universal Algebra, in Handbook of Logic in Computer Science, Clarendon Press - Oxford, 1992, edited by Abramsky S., Gabbay D.M., Maibaum T.S.E.,
• [5] Rasiowa H., Sikorski R., Mathematics of the Metamathematics, Monografie Matematyczne v. 41, PWN, Warszawa, 1963.