This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran (...) Andujar, Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar. (shrink)

Aims: The experience of a compromised sense of ‘self’, termed ego-dissolution, is a key feature of the psychedelic experience and acute psychosis. This study aimed to validate the Ego-Dissolution Inventory (EDI), a new 8-item self-report scale designed to measure ego-dissolution. Additionally, we aimed to investigate the specificity of the relationship between psychedelics and ego-dissolution. Method: Sixteen items relating to altered ego-consciousness were included in an internet questionnaire; 8 relating to the experience of ego-dissolution (comprising the EDI), and 8 relating to (...) the antithetical experience of increased self-assuredness. Items were rated using a visual analogue scale. Participants answered the questionnaire for experiences with classical psychedelic drugs, cocaine or alcohol. They also answered the 7 questions from the Mystical Experiences Questionnaire (MEQ) relating to the experience of unity with one’s surroundings. Results: 691 participants completed the questionnaire, providing data for 1828 drug experiences (1043 psychedelics. 377 cocaine. 408 alcohol). Exploratory factor analysis demonstrated that the 8 EDI items loaded exclusively onto a single common factor, which was orthogonal to a second factor comprised of the items relating to increased self-assuredness (rho= -.110), demonstrating discriminant validity. The EDI correlated strongly with our measure of unitive experience (rho =.735), demonstrating convergent validity. EDI internal consistency was excellent (Cronbach’s alpha 0.93). Three analyses confirmed the specificity of ego-dissolution for experiences occasioned by psychedelic drugs. Firstly, EDI score correlated with drug-dose for psychedelic drugs (rho=.371), but not for cocaine (rho=.115) or alcohol (rho=-0.055). Secondly, the linear regression line relating the subjective intensity of the experience to EDI was significantly steeper for psychedelics (unstandardized B coefficient= 0.701) compared with cocaine (0.135) or alcohol (0.144). Finally, a binary support vector machine classifier identified experiences occasioned by psychedelic drugs vs. cocaine or alcohol with over 85% accuracy using ratings of ego-dissolution and ego-inflation alone. Conclusions: Our results demonstrate the psychometric structure, internal consistency and construct validity of the EDI. Moreover, we demonstrate the close relationship between ego-dissolution and the psychedelic experience. The EDI will facilitate the study of the neuronal correlates of ego-dissolution, which is relevant for psychedelic-assisted psychotherapy and our understanding of psychosis. (shrink)

This article offers an account of the responsibility that individuals bear by virtue of their national belonging alone. Via their national pride, the living connect themselves actively with select actions performed by others who might long be dead. They imagine themselves as having won past wars, built ancient empires and the like. This same feat of their imagination imposes on them a responsibility for the bad outcomes that were brought about through their imagined exploits. Their national responsibility for the "sins (...) of the fathers" however lends itself only to the kinds of responses that these living agents can demand of themselves. While their national responsibility can be captured by either the vocabulary of guilt or that of shame, the latter turns out to be more promising as it better accounts for the strong hold that the national idea has on contemporary political thinking. (shrink)

In his recent work, Jürgen Habermas signals the abandonment of his earlier claims to justify human rights and universalist morality. This paper explains the above shift, arguing that it is the inescapable result of his attempts in recent years to accommodate pluralism. The paper demonstrates how Habermas’s universal pragmatic justification of modern normative standards was inextricably tied to his consensus theory of validity. He was compelled by the structure of that argument to count on the current or future availability of (...) a unified framework within which all can potentially articulate their needs and interests. With his abandonment of the justification Habermas has rid discourse theory of this controversial assumption. In weakening its defense of human rights and universalist morality against the charge of ethnocentrism, he has strengthened his theory’s foothold in the lived pluralist world. Key Words: argumentation • ethnocentrism • Habermas • human rights • justification • legitimacy • pluralism • rational consensus • Rehg. (shrink)

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An evaluation (...) of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

The Public Policy Advisory Network on Female Genital Surgeries in Africa has written an article expressing concern about the media's inaccurate depiction of this practice and suggesting a more fact‐based approach to reporting on it. I applaud the network for soliciting input from various fields. I cannot agree more that some in the media have misconstrued, exaggerated, and used inflammatory language; words like “torture,” “barbaric,” and “horrific” will likely enrage readers while reinforcing discrimination against women who practice or have undergone (...) genital cutting. The authors also assert that “any genuine public policy debate should be grounded in the best available evidence and begins with fact checking.” Again, I couldn't agree more. My concern is that there is bias in the way some of the data are presented in this article. (shrink)

This article explains how we ordinary subjects of a state who are neither political leaders nor functionaries are responsible for outcomes that are properly attributed to that state and that took place during our adult lifetime. Its focus is on the connection we forge to those outcomes via our obedience alone. If our responsibility as subjects is justified, it would apply under all regime types including oppressive and authoritarian ones. The argument is that this responsibility can only be justified within (...) a minimal account of agency and a bare-bones account of responsibility. Thus, while we incur a burden of responsibility for the state via our obedience alone, that burden does not suffice to either blame us or extract remedies from us for state injustices. For us obedient subjects, however, it is important that we be cognizant of this burden as it marks the most minimal agency we exercise in the state. (shrink)

In this paper, a proof-theoretic method to prove uniform Lyndon interpolation for non-normal modal logics is introduced and applied to show that the logics E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {E}$$\end{document}, M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {M}$$\end{document}, MC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {MC}$$\end{document}, EN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {EN}$$\end{document}, MN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {MN}$$\end{document} have that (...) property. In particular, these logics have uniform interpolation. Although for some of them the latter is known, the fact that they have uniform Lyndon interpolation is new. Also, the proof-theoretic proofs of these facts are new, as well as the constructive way to explicitly compute the interpolants that they provide. It is also shown that the non-normal modal logics EC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {EC}$$\end{document} and ECN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {ECN}$$\end{document} do not have Craig interpolation, and whence no uniform interpolation. (shrink)

In 1990 J-L. Krivine introduced the notion of storage operators. They are $\lambda$ -terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modelize assignment instructions. J-L. Krivine has shown that there is a very simple second order type in AF2 type system for storage operators using Gödel translation of classical to intuitionistic logic. In order to modelize the control operators, J-L. Krivine has extended the system AF2 to the classical logic. In his system (...) the property of the unicity of integers representation is lost, but he has shown that storage operators typable in the system AF2 can be used to find the values of classical integers. In this paper, we present a new classical type system based on a logical system called mixed logic. We prove that in this system we can characterize, by types, the storage operators and the control operators. (shrink)

The political unaccountability of ordinary citizens in classical Athens was originally raised as a challenge by ancient critics of democracy. In tension with that criticism, the authors argue that attention to the above challenge is consistent with a defence of Athenian democratic politics. In fact, ordinary citizens' function in the Assembly and courts implicitly included the burden of justifying their own political decisions to an imagined authority, as if they could be brought to account. Byeans of practices that encouraged this (...) self-scrutiny, Athenians marked the challenge of citizens' political unaccountability as an unavoidable but manageable aspect of their democracy. (shrink)

This dissertation engages the following question: how, in the absence of an uncontroversial source of moral guidance, can liberals make political and moral claims across cultural divides? While committed to toleration, liberals cannot escape the compulsion to apply basic standards of equal individual human rights and liberties universally. Under postmetaphysical conditions, however, they no longer find credible arguments that assure them of the sources of these standards in "natural law," "human nature," or "practical reason." Aware that individual rights have their (...) provenance in modern "Western" history, liberals fear being intolerant when they apply these standards universally, and experience as a result a problem of cross-cultural judgement. ;In this project I engage in a sympathetic critique of Richard Rorty's, Jurgen Habermas's and John Rawls's attempts at addressing this problem and provide a fourth alternative that cannot be absorbed by any of their frameworks. Rorty offers liberals the comforts of ethnocentrism. He assures them that political and moral judgements are always made by someone from somewhere. For this comfort, however, he extracts the exorbitant ethical price of other-disregard. Habermas derives individual rights from the universal practice of argumentation. By relying on the overly exacting standard of "rational consensus," however, he limits the applicability of his answer to liberal secular contexts. In his free-standing answer, Rawls offers the promising standard of an "overlapping consensus." His overly static use of this concept, however, drains it of its promise. ;Drawing on each of these attempts as well as on Aristotle's Rhetoric, I offer the alternative of a political project of moral persuasion. Instead of seeking to address the problem of cross-cultural judgement by coup de plume, liberals' best hope is to obviate it in practice, by forging a global, minimally liberal, overlapping consensus. As moral persuaders liberals would intrude actively in nonliberal debates and would seek to convince nonliberals from within their various lights, of the worthiness of the commitment to the freedom and equality of persons. (shrink)

In pediatric cohort studies, disclosing findings and providing treatment counseling to parents, legal guardians, or other authorized representatives is an ethical imperative. Keratoconus (KC) is a corneal degenerative disease that can progress to severe vision impairment and need for corneal transplantation. This report concerns the disclosure of results to the parents of children who were diagnosed with KC in the Shahroud Schoolchildren Eye Cohort Study and received essential treatment in a timely manner.

A numeral system is an infinite sequence of different closed normal -terms intended to code the integers in -calculus. Barendregt has shown that if we can represent, for a numeral system, the functions Successor, Predecessor, and Zero Test, then all total recursive functions can be represented. In this paper we prove the independancy of these three particular functions. We give at the end a conjecture on the number of unary functions necessary to represent all total recursive functions.

The optimum science benefits to routine life have insufficiently been proved. Science progress is not merely reflected in machinery and technological breakthroughs. Subordinate impacts of science and scientists on global interactions are an evidence for the major deficiencies and futility of the many current science designations. A primary objective is to describe postmodern global interrelations of science mentoring policies and life quality. Also, global programs are proposed that will aid in the timely achievement of optimal real-life science goals. The global (...) wholeness of science pictures should be visible, acknowledged, and educated. The wholeness of science, no matter how exposed or sophisticated, should never change. Definitive paths should be developed to bestow science with sufficiently empowered authorities to lead and optimize economics, politics, and international relations. Mentoring rather than teaching of science will be a main frontier for quality lives. Postmodern mentors will be cognizant of the science entirety. Mentors will create and designate definitive shapes from discoveries and findings that will grant human life with ongoing peace and ultimate satisfaction. (shrink)

The objective is to introduce and describe a new philosophy for global science edification that will determine the extent and nature of humans’ accomplishments. These will affect life quality worldwide. Science as an ultimate essence encircles theoretical and applied findings and discoveries. These can only contribute to forming a trivial core, whilst the most crucial are insightful moral surroundings. Morality is most concerned with mentorship commitments. To sustain a dense and rigid shape that progressively improves science and life quality, imagination (...) must be complemented with harmonizing approaches. Such perceptions become an obligation as growing knowledge creates novel questions and challenges. The upper tree of science glorified with blooming branches of knowledge, particularly over the last few centuries, is predicted to undergo progressive declines in the strength of its edification foundations unless the lower tree receives most-deserving mentorship contemplations. The upper tree describes tangible science products in routin life, and the lower tree represents sustainable mentorship. Mentors must replace teachers, by definition, and commit to generating more qualified educators than themselves. Mentors are expected to welcome and manage challenges from mentees. Challenges play crucial roles in granting mentees with integrated pathways of scientific development. The resulting pictures will be eagerly prone to revisions and elaborations as mentees themselves step into the pathway. This systematic edification will strengthen science roots in mentees’ minds and will uphold a sturdy science body for society. Science pictured as an integrated circle grants a prospect to envision where humans are and where not to end up. Maintaining a definitive shape for science in any major before and while enriching central cores with experimental novelties in minds and laboratories is crucial to improving man’s fulfillment of time in the third millennium. Such integrities are an obligation to optimally preserve and utilize what humans have achieved thus far and continue to accomplish. (shrink)

In this paper, we define a realizability semantics for the simply typed $lambdamu$-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.

In this paper, we present the -calculus which at the typed level corresponds to the full classical propositional natural deduction system. The Church–Rosser property of this system is proved using the standardisation and the finiteness developments theorem. We also define the leftmost reduction and prove that it is a winning strategy.

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems a set of constants constitutes a fundamental tool. In this paper, we consider logic systems called L'T without this kind of constants but limited to the case where T is a finite poset. We study the tableau method for this system and we prove its completeness for a class of formulas with respect to an algebraic (...) semantics. (shrink)

Violence -- Poliltical philosophy -- Critical theory -- Science and arts in international relations -- Psyche -- Aesthetics -- Tolstoi's War and peace.

We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.

The storage operators were introduced by J.L. Krivine ([6]); they are closed λ-terms which, for some fixed data type (the integers for example), allow to simulate “call by value” while using “call by name”. J.L. Krivine showed that such operators can be typed, in the type system, using Gödel's translation from classical to intuitionistic logic ([8]).This paper studies the existence of storage operators which give a normal form as result (strong storage operators) for recursive and iterative representation of data in (...) λ-calculus. We obtain the following result:We can find typed strong storage operators for the recursive representations of data type, but that is not the case for the iterative representations of an infinite data type.We give the proof of this result in the case of integers. (shrink)

Although the German philosopher Hans-Georg Gadamer was not a religious thinker or theologian, his work and approach have influenced thinkers in the field of theology. This article explores some ‘overlaps’ between Gadamerian hermeneutics and the ideas of some contemporary Muslim scholars such as Nasr Hamid Abu Zayd, Abdolkarim Soroush, Muhammad Mujtahed Shabestari and Hassan Hanafi regarding issues of textual interpretation and understanding. In particular, the article seeks to understand how such ideas have appeared in these Muslim scholars’ approaches to interpreting (...) the Qurʾan. It also explores some of the implications that follow from incorporating Gadamer’s ideas into Islamic theological and political discourses. The article argues that the application of Gadamer’s hermeneutic philosophy to the realm of Qurʾanic studies is not only fruitful insofar as it provides new insights into the interpretation of the Qurʾan, but also has important consequences for Islamic theological and political discourses more broadly. (shrink)

In an attempt to move towards a non-linear dynamic system the present study concerns itself with investigating the applicability of sacred text motivation for general second language learners rather than specific learners with religious preferences. A mixed methods research was conducted with the help of 400 participants to examine the relationship between being motivated by sacred text and improving reading comprehension. The research confirms significance of relationship between STM-based treatment and improving reading comprehension as a result of quantitative analyses and (...) that the majority of participants hold positive opinion concerning the use of sacred texts in L2 learning to improve reading comprehension based on qualitative analyses. The analyses of the interviews conducted following the administered treatment revealed that the quantitative effect of STM-based treatment can be better explained through qualitative findings. (shrink)

In this paper, we present an extension of λμ-calculus called λμ++-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.

In this paper, the notions of tense operators and tense filters in \-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense \-algebras, tense \-algebras and tense Boolean algebras are investigated. Moreover, it is shown that the set of all tense filters of a \-algebra is complete sublattice of \\) of all filters of \-algebra \. Also, maximal tense filters and simple tense \-algebras and the relation between them are studied. Finally, the notions of tense (...) congruence relations in tense \-algebras and strict tense \-algebras are introduced and an one-to-one correspondence between tense filters and tense congruences relations induced by tense filters are provided. (shrink)

Literacy plays a significant role in community development. Without literacy, development goals cannot be achieved easily. Through literacy, the community does not face any challenge to improve their quality of life. For this reason, developed and developing countries nowadays are investing a lot on social and natural innovations, plus human capital in communities to increase their level of literacy. Iran is no exception. For this purpose, the government of Iran has formulated several community literacy development programs in the country. One (...) of the major programs that has been implemented for this purpose is the Community Learning Centers Program (CLCP) (Mehdizadeh, 2003). In the Islamic Republic of Iran, CLCP was implemented in early 2000. It has had very encouraging results in solving the problem of illiteracy in this country. All communities that have pioneered the program have experienced a remarkable increase in their literacy level (Ebrahimian, Bahirai, & Iranian National Commission for ISESCO, 2006). What are the reasons of such achievements? Therefore, the main purpose of this study is to investigate the factors that have contributed to the success of CLCP in community literacy development in the Islamic republic of Iran. (shrink)

A number of innovative hermeneutical approaches emerged in Muslim exegetical discourse in the second half of the 20th century. Among these developments is a trend of systematic reform theology that emphasises a humanistic approach, whereby revelation is understood to be dependent not only upon its initiator, God, but also upon its recipient, Prophet Muhammad, who takes an active role in the process.Ali Akbar examines the works of four noted scholars of Islam: Fazlur Rahman, Abdolkarim Soroush, Muhammad Mujtahed Shabestari and (...) Nasr Hamid Abu Zayd. His study shows that the consequences of taking a humanistic approach to understanding revelation are not confined to the realm of speculation about God-human relations, but also to interpreting Qur'A nic socio-political precepts. And the four scholars emerge as a distinctive group of Muslim thinkers who open up a new horizon in contemporary Islamic discourse. (shrink)

In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $lambda$-calculus, the 'call by value' in a context of a 'call by name'. J.L. Krivine has shown that, using Gödel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this (...) result to other types. (shrink)

There are growing bodies of evidence demonstrating the benefits of equity, diversity, and inclusion on academic and organizational excellence. In turn, some editors have stated their desire to improve the EDI of their journals and of the wider scientific community. The Royal Society of Chemistry established a minimum set of requirements aimed at improving EDI in scholarly publishing. Additionally, several resources were reported to have the potential to improve EDI, but their effectiveness and feasibility are yet to be determined. In (...) this commentary we suggest six approaches, based on the Royal Society of Chemistry set of requirements, that journals could implement to improve EDI. They are: adopt a journal EDI statement with clear, actionable steps to achieve it; promote the use of inclusive and bias-free language; appoint a journal’s EDI director or lead; establish a EDI mentoring approach; monitor adherence to EDI principles; and publish reports on EDI actions and achievements. We also provide examples of journals that have implemented some of these strategies, and discuss the roles of peer reviewers, authors, researchers, academic institutes, and funders in improving EDI. (shrink)

Recently, research on uncertainty modeling is progressing rapidly and many essential and breakthrough stud ies have already been done. There are various ways such as fuzzy, intuitionistic and neutrosophic sets to handle these uncertainties. Although these concepts can handle incomplete information in various real-world issues, they cannot address all types of uncertainty such as indeterminate and inconsistent information. Also, plithogenic sets as a generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets, which is a set whose elements are characterized by (...) many attributes’ values. In this paper, our aim is to demonstrate and review the history of fuzzy, intuitionistic and neutrosophic sets. For this purpose, we divided the paper as: section 1. History of Fuzzy Sets, section 2. History of Intuitionistic Fuzzy Sets and section 3. History of Neutrosophic Theories and Applications, section 4. History of Plithogenic Sets. (shrink)

The COVID-19 pandemic has challenged the world for a year, where a study in China showed that the disease increased psychological distress among adolescents and college students, such as anxiety about the academic setback, economic effects, and impact on their daily life. However, a further study examining the impact of the disease on the mental health of students is required. Social support is the most vital psychosocial protective resource, where effective coping can reduce stress levels and prevent individuals from experiencing (...) more severe psychological distress. Therefore, this study investigated the coping strategy, social support, and psychological distress among university students in Jakarta who are also the epicenter of COVID-19 in Indonesia. The psychological distress and coping strategy variable were measured through the Hopkins Symptoms Checklist-25 and the COPE Brief instrument, respectively. Meanwhile, the Multidimensional Perceived Social Support-12 instrument was used to measure the social support variable. The study was disseminated via an online form and the number of research subjects included 250 students who matched the research criteria, including DKI Jakarta domicile and active students registered in the area that were confirmed to be COVID-19 positive. According to the results, coping strategies and increased social support were significantly correlated with decreased psychological distress and may serve as the basis for interventions. (shrink)

In this paper we discuss the interaction between science policies (and particularly in the area of scientific research) and higher education policies in Gulf and Mediterranean Arab countries. Our analysis reveals a discrepancy between the two sub-regions with respect to integration in the global market, cooperation in scientific research and international mobility of students. The paper discusses the implications of the analysis of reform policies and higher education restructuring.

In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic and classical logics. We prove a completeness theorem for this logic with respect to a Kripke semantics. We establish some relations between mixed logic and minimal, intuitionistic and classical logics. We present at the end a sequent calculus version for this logic.

In 1990, J. L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In the present paper we define for every λ-term S which realizes the successor function on Church integers the notion of S-storage operator. We prove that every storage operator is an S-storage operator. But the converse is not always true.

In 1990, J.L. Krivine introduced the notion of storage operator to simulate 'call by value' in the 'call by name' strategy. J.L. Krivine has shown that, using Gödel translation of classical into intuitionitic logic, we can find a simple type for the storage operators in AF2 type system. This paper studies the $forall$-positive types (the universal second order quantifier appears positively in these types), and the Gödel transformations (a generalization of classical Gödel translation) of TTR type system. We generalize, by (...) using syntaxical methods, the J.L. Krivine's Theorem about these types and for these transformations. We give a proof of this result in the case of the type of recursive integers. (shrink)