Category approach to R L4 - sets

• Autorzy: Biegańska T.
• Języki publikacji: EN

Abstrakty

EN

In this paper Fm going to investigate the subcategory of the category of sets valued by some Heyting algebra. The notion of a Heyting algebra valued set was introduced by Scott [1] in 1972 in his work a the intuitionistic set theory. The categories of Heyting algebra valued sets were investigated and described by D. Higgs in [3] and [4].

Słowa kluczowe

EN

algebra; mathematical logic; rough sets

PL

algebra; logika matematyczna; zbiory przybliżone

• Wydawca: Wydawnictwo Uniwersytetu Humanistyczno-Przyrodniczego im. Jana Długosza w Częstochowie
• Czasopismo: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
• Rocznik: 1998
• Tom: Vol. 4
• Strony: 85--88
• Opis fizyczny: Bibliogr. 5 poz.

Twórcy

autor

Biegańska T.

Bibliografia

• [1] M.P. Fourman, D.S. Scott, Sheaves and logic, in: „Applications of Sheaves", Procedings, Durham 1977, ed. M.P. Fourman el al., Lecture Notes in Mathematics Vol., 753, Berlin 1979, 302 - 401.
• [2] H. Herrlich and G.E. Strecker, Category Theory, Boston 1973, Printed in the United States of America.
• [3] D. Higgs, A category approach to Boolean - valued set theory [preprint, University of Waterloo 1973].
• [4] D. Higgs, Injectivity in the topos of complete Heyting algebra valued sets, Canad. J. Math. 36 (1984), 550 - 568.
• [5] A. Obtułowicz, Rough sets and Heyting algebra valued sets, Bull. Pol. Ac.: Math., 35 (9 - 10), 1987, 667 - 673.