Portal de Periódicos da CAPES

Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ( x )={{ y }| y ϵ x }

1987; Wiley; Volume: 40; Issue: 1 Linguagem: Inglês

10.1002/cpa.3160400103

1097-0312

Domenico Cantone, Alfredo Ferro, Giuseppe Sorace, Biagio Micale,

Rough Sets and Fuzzy Logic

Communications on Pure and Applied MathematicsVolume 40, Issue 1 p. 37-77 Article Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}| y ϵ x} Domenico Cantone, Domenico Cantone Courant Institute and University of CataniaSearch for more papers by this authorAlfredo Ferro, Alfredo Ferro Courant Institute and University of CataniaSearch for more papers by this authorGiuseppe Sorace, Giuseppe Sorace Courant Institute and University of CataniaSearch for more papers by this authorBiagio Micale, Biagio Micale University of CataniaSearch for more papers by this author Domenico Cantone, Domenico Cantone Courant Institute and University of CataniaSearch for more papers by this authorAlfredo Ferro, Alfredo Ferro Courant Institute and University of CataniaSearch for more papers by this authorGiuseppe Sorace, Giuseppe Sorace Courant Institute and University of CataniaSearch for more papers by this authorBiagio Micale, Biagio Micale University of CataniaSearch for more papers by this author First published: January 1987 https://doi.org/10.1002/cpa.3160400103Citations: 10AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Citing Literature Volume40, Issue1January 1987Pages 37-77 RelatedInformation