Originally published in 1938. This compact treatise is a complete treatment of Aristotle’s logic as containing negative terms. It begins with defining Aristotelian logic as a subject-predicate logic confining itself to the four forms of categorical proposition known as the A, E, I and O forms. It assigns conventional meanings to these categorical forms such that subalternation holds. It continues to discuss the development of the logic since the time of its founder and address traditional logic as it existed in the twentieth century. The primary consideration of the book is the inclusion of negative terms - obversion, contraposition etc. – within traditional logic by addressing three questions, of systematization, the rules, and the interpretation.

Dr. Muhammad Arif is currently working in the School of Computer Science in Guangzhou University, China. He received his BS degree in Computer Science from the University of Sargodha, Pakistan in 2011. He obtained his MS degree in Computer Science from COMSATS Islamabad 2013 Pakistan. He received his PhD degree from Guangzhou University, China. His research interests include Artificial intelligence, big data, cloud computing, and cyberspace security, data mining, image processing, medical image processing, Privacy, Security, and E-learning. Currently, he is working privacy and security of vehicular networks. Previously he was a lecturer at the University of Gujrat, Gujrat, Pakistan. He completed masters and bachelor degrees in Pakistan. He is the author of more than 40 SCIE journal publications, and more than 20 conference publications and a number of Best Paper Awards in the international conferences, including iSCI 2019. He have 2 SCI highly cited papers. He has more than 720 citations, according to Google Scholar. His H-Index is 15 and the i10-Index is 21. He is the Editorial board member of International Journal of Advanced Intelligence Paradigms (IJAIP) and to International Journal of Computational Systems Engineering (IJCSysE). He is a reviewer of many well-known journals, including IEEE Transaction on Vehicular Technology, IOT Journal, Plos-One, Sensors, Vehicular Communications and Journal of Network and Computer Applications, etc. He has participated in many international conferences as Programme committee member, Session Chair, Technical Programme Committee, or International Program Committees. He is the programme chair of The 2020 International Workshop on Smart Technologies for Intelligent Transportation and Communications (SmartITC 2020). He is also a member of IEEE and IET.

Guojun Wang received B.Sc. degree in Geophysics, M.Sc. degree in Computer Science, and Ph.D. degree in Computer Science, at Central South University, China, in 1992, 1996, 2002, respectively. He is a Pearl River Scholarship Distinguished Professor of Higher Education in Guangdong Province, a Doctoral Supervisor and Vice Dean of School of Computer Science and Cyber Engineering, Guangzhou University, China, a Vice Chairman of Intelligence Engineering Society of Guangzhou, and the Director of Institute of Computer Networks at Guangzhou University. He has been listed in Chinese Most Cited Researchers (Computer Science) by Elsevier in the past six consecutive years (2014-2019). His h-index is 49 (as of the date August 16, 2020). He had been a Professor at Central South University, China; an Adjunct Professor at Temple University, USA; a Visiting Scholar at Florida Atlantic University, USA; a Visiting Researcher at the University of Aizu, Japan; and a Research Fellow at the Hong Kong Polytechnic University, Hong Kong SAR, China. His research interests include artificial intelligence, big data, cloud computing, Internet of Things (IoT), blockchain, trustworthy/dependable computing, network security, privacy preserving, recommendation systems, and smart cities. He has published more than 400 technical papers and books/chapters in the above areas, including top international journals like ACM TAAS/TOSN/CSUR and IEEE TC/TPDS/TDSC, and top international conferences like CCS/WWW/INFOCOM/CIKM/DSN/ESORICS. His research is supported by Key Project of the National Natural Science Foundation of China, the National High-Tech Research and Development Plan of China (863 Plan), the Ministry of Education Fund for Doctoral Disciplines in Higher Education, the Guangdong Provincial Natural Science Foundation, the Hunan Provincial Natural Science Foundation, and the Hunan Provincial Science and Technology Program. His research is also supported by talents programs including the Program for Pearl River Scholarship Distinguished Professor of Higher Education in Guangdong Province, the Hunan Provincial Natural Science Foundation of China for Distinguished Young Scholars, and the Program for New Century Excellent Talents in University. He is a recipient of a number of science and technology awards, including the 2018 Special Government Allowances of the State Council, the 2014 First Prize of the National Natural Science Award (name in the 5th place), the 2014 Second Prize of the Hunan Provincial Natural Science Award (name in the 1st place), the 2013 and 2003 First Prize of two Natural Science Awards of Ministry of Education of China (name in the 4th and 5th places, respectively), and a number of Best Paper Awards in the international conferences, including iSCI 2019, IEEE UIC 2018, IEEE IoP 2018, IEEE ISPA 2013, and IEEE TrustCom 2010. He is an associate editor or on editorial board of some international journals including IEEE Transactions on Parallel and Distributed Systems (TPDS), Security and Communication Networks (SCN), International Journal of Parallel, Emergent and Distributed Systems (IJPEDS), and International Journal of Computational Science and Engineering (IJCSE).

Dr Mazin Abed Mohammed obtained his BSc. in Computer Science from the University of Anbar, Iraq in 2008. He obtained his MSc. in Information Technology from the College of Graduate Studies, Universiti Tenaga Nasional (UNITEN), Malaysia in 2011. He obtained his PhD. in Information and Communication Technology from the Faculty of Information & Communication Technology, Universiti Teknikal Malaysia Melaka, Melaka, Malaysia in 2018. He has produced more than 60 articles in journals, book chapters, conferences, and tutorials. His specialization and research interest include the areas of Artificial Intelligence, Biomedical Computing and Processing, Medical Image and Data Processing, Machine Learning, Deep Learning, Optimization Methods and Software Medical IoT. ORCID (ID: 0000-0001-9030-8102), Google Scholar H-index 25 of 62 papers, Scopus (ID: 57192089894) H-index 19 of 45 papers, Publons (ID: E-3910-2018) H-index 14, total citations 435 of 45 papers.

Dr. Md Tabrez Nafis is working as an Assistant Professor in the Department of Computer Science & Engineering, Jamia Hamdard (Deemed University), New Delhi, India. He is having a rich experience of more than 12 years in the field of Computer Science and Engineering. His research interest areas are Big Data, Machine Learning, Health Informatics & IoT. Dr. Nafis has published several research papers in reputed International Journals and Conferences. He has chaired several session and member of TPC in International Conferences. Dr. Nafis is an Associate Editor of International Journal of End-User Computing and Development (IJEUCD), published by IGI Global,USA. He is also member of Editorial board in International Journal of Big Data, AI & IoT (IJBDAI), Published by Hikari, Bulgaria. He is a reviewer in Journal of Technology in Behavioral Science(Springer), Arabian Journal of Geosciences, published by Springer[Scopus, SCI] and International Journal of Big Data Intelligence and Applications (IJBDIA) published by IGI Global, USA. Dr. Nafis is a Senior Member IEEE and life member of several International/National professional bodies viz. CSI, IETE, ISTE. His research interest areas are Big Data, Machine Learning, Health Informatics & IoT.