Lech Polkowski

Ewa Orlowska

James F. Peters

Jerzy Grzymala-Busse

Ivo Düntsch

Annotation The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume VI of the Transactions on Rough Sets (TRS) commemorates the life and work of Zdzislaw Pawlak (1926-2006). His legacy is rich and varied. Prof. Pawlak's research contributions have had far-reaching implications inasmuch as his works are fundamental in establishing new perspectives for scientific research in a wide spectrum of fields. This volume of the TRS presents papers that reflect the profound influence of a number of research initiatives by Professor Pawlak. In particular, this volume introduces a number of new advances in the foundations and applications of artificial intelligence, engineering, logic, mathematics, and science. These advances have significant implications in a number of research areas such as the foundations of rough sets, approximate reasoning, bioinformatics, computational intelligence, cognitive science, data mining, information systems, intelligent systems, machine intelligence, and security.

Commemorating Life and Work of Zdislaw Pawlak

Transactions on Rough Sets VI

Davide Ciucci

Guoyin Wang

Zbigniew Suraj

Mohua Banerjee

Tamás Mihálydeák

Fan Min

This LNAI 11499 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2019, held in Debrecen, Hungary, in June 2019. The 41 full papers were carefully reviewed and selected from 71 submissions. The IJCRS conferences aim at bringing together experts from universities and research centers as well as the industry representing fields of research in which theoretical and applicational aspects of rough set theory already find or may potentially find usage. The papers are grouped in topical sections on core rough set models and methods; related methods and hybridization; areas of application.

International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

Rough Sets

This volume of the Transactions on Rough Sets commemorates the life and work of Zdzislaw Pawlak (1926-2006), whose legacy is rich and varied. It presents papers that reflect the profound influence of a number of research initiatives by Professor Pawlak, introducing a number of new advances in the foundations and applications of artificial intelligence, engineering, logic, mathematics, and science.

Commemorating Life and Work of Zdislaw Pawlak, Part I

Edwin Mares

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. The final section of the book contains a response to the papers by Urquhart. Alasdair Urquhart has made extremely important contributions to a variety of fields in logic. He produced some of the earliest work on the semantics of relevant logic. He provided the undecidability of the logics R (of relevant implication) and E (of relevant entailment), as well as some of their close neighbors. He proved that interpolation fails in some of those systems. Urquhart has done very important work in complexity theory, both about the complexity of proofs in classical and some nonclassical logics. In pure algebra, he has produced a representation theorem for lattices and some rather beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russell’s Collected Papers.

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Ivo Düntsch

About

Books

Join the club