This book puts together the most important contemporary writings in the debate on secularism. It deals with conceptual, normative and explanatory issues in secularism and addresses urgent questions, including the relevance of secularism to non-Western societies and the question of minority rights.

Over the years, the urban heat vulnerability has evolved as a pressing global concern for researchers and policymakers alike. Numerous studies have aimed at mitigating the adverse effects of urban heat vulnerability on public health and safety. However, the critical task of selecting the most fitting indicator for urban heat islands in public spaces is not emphasized in the existing studies, considering the diverse indices available. Beyond identification, studies that delve into the prioritization of these indices and the determination of (...) optimal variables along with their respective weights are scanty. The present study attempts to address these gaps in urban heat vulnerability research through the lens of natural solutions. The study employs a fuzzy analytical hierarchy approach to ascertain the weights of selected criteria, providing a nuanced understanding of the multifaceted factors influencing their applicability. Real-time impact estimation using the fuzzy technique for order of preference by similarity to ideal solutions enhances the practicality of the findings. The results reveal a set of pivotal characteristics crucial for constructing a robust heat vulnerability index, facilitating the prioritization of selected criteria. The implementation of this hybrid methodology culminates in a streamlined, precise, and practical tool for evaluating heat vulnerability in hot urban public spaces. These findings contribute valuable insights to the academic discourse and offer a tangible resource for policymakers and practitioners. The proactive approach provides a roadmap for addressing impending challenges related to urban heat vulnerability, marking a positive step toward creating resilient and sustainable urban environments. (shrink)

Background As noise brings great error in the analysis of metallographic images, an adaptive weighted mean filtering method proposed to overcome the shortcomings of the standard mean filtering method. Methods The method used to detect the pulse noise points in the image, and then the modified mean method used to filter out the detected noise points. Patents on metallographic image processing have discussed for the development of the proposed methodology. Results It is shown that filter window can be filtered in (...) comparison with the conventional 3×3, 5×5 and 7×7 filt window to reduce noise detection and reduce the complexity of the weight calculation. Conclusion It can be concluded that this method can better protect the details of the image, has better filtering effect than the standard mean filtering, and its processing speed is faster than the median filtering of the large window, which has profound significance for the edge detection and processing of the metallographic image. (shrink)

This paper presents a method for the study of the influence of stability of a power transformer on the power system based on the vibration principle. Traditionally, the EMD and EEMD algorithms are employed to test the box vibration signal data of the power transformer under three working conditions. The proposed method utilizes a partial EMD screening along with MPEEMD method for the online monitoring of power transformer. A complete online monitoring system is designed by using the STM32 processor and (...) LabVIEW system. The proposed system is compared with EMD and EEMD algorithms in terms of the number of IMFs obtained by decomposition, maximum correlation coefficient, and mean square error. The inherent mode correlation, when compared with the mean square error of the reconstructed signal, shows that the reconstruction error of MPEEMD algorithm is 4.762×10−15 which is better than the traditional EMD algorithm. It is observed from the results that the proposed method outperforms both EMD and EEMD algorithms. (shrink)

Cities today are dynamic urban ecosystems with evolving physical, socio-cultural, and technological infrastructures. Many contestations arise from the effects of inequitable access and intersecting crises currently faced by cities, which may be amplified by the algorithmic and data-centric infrastructures being introduced in urban contexts. In this article, I argue for a critical lens into how inter-related urban technologies, big data and policies, constituted as Urban AI, offer both challenges and opportunities. I examine scenarios of contestations in _urban mobility_, defined broadly (...) to include equitable access, movement, and liberty to engage with the socio-cultural, political, and urban fabric of cities. I anchor my arguments through a framework of _rights, risks,_ and _responsibilities_ for critically examining and configuring the roles, values and ethical implications for all stakeholders including human, AI and non-human entities within an urban ecosystem. As a way forward, I examine the European Commission’s proposed regulations on AI systems through an illustrative case study of an automated parking control system introduced by the City of Amsterdam. In moving beyond the city to broader urban ecosystems, I highlight the role of engaging Indigenous perspectives for designing and reconciling the implications of equitable and sustainable Urban AI ecosystems in the future. (shrink)

The Marquis de Sade has been labeled everything from a sadomasochistic pornographer to the fiction writer responsible for the ideas that led to the Nazi death camps. Must We Burn Sade? peels away the negative legacy that has shrouded Sade for too long. Deepak Narang Sawhney points out that "Sade's legacy has been neglected, recreated, fictionalized, and venerated by medical guilds, literary hacks, religious detractors, and intellectual movements. In the past two centuries, Sade has come to represent many things (...) for many people.... It is unclear whether we know Sade the writer or the apparatus which has been set up to either condemn or to sanctify his life and work." By contrast, this intriguing collection of essays seeks to examine Sade for what he was—a writer of novels and letters, a creator of plays and stories, and an author of essays and political manifestos. The contributors examine the literary, theatrical, political, social, and philosophical aspects of Sade's work, acquitting him of the false accusations and trials that have plagued his name by revealing his influences and motivations, and by providing an understanding of society's fear of Sade. What is so alarming about Sade's books that civilized society has felt compelled to disassociate itself from his works? This volume forces us to rethink Sade. Included are essays by Kathy Acker, David Allison, Georges Bataille, Catherine Cusset, Lucienne Frappier-Mazur, Annie Le Brun, Alphonso Lingis, Stephen Pfohl, Deepak Narang Sawhney, Philippe Sollers, and Alistair Welchman. (shrink)

We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. We show that the known EXPTIME upper bound for regular grammar logics can be obtained using our tableau calculus. We also give an effective Craig interpolation lemma for regular grammar (...) logics using our calculus. (shrink)

Hind Swaraj by Mahatma Gandhi is arguably the greatest text to have emerged from the anti-colonial movement in India and the first to seriously challenge the cultural and civilizational premises of the colonizers' mentality. It is also the first text in India that falls within the broad tradition of modern political philosophy, advancing a complex cluster of theses with conceptual sensitivity, analytical precision, and sustained argument. This book critically engages with Hind Swaraj and explores the fascinating and subtle dialogue set (...) up by Gandhi between the characters of the reader and the editor. With essays from leading contemporary thinkers on Gandhi, the volume looks at themes such as Gandhi on epistemic servitude, decolonization and intercultural translation; his complex critique of modern civilization, his views on the empire; democracy, citizenship and violence; the normative structure of Gandhian thought; Gandhi and the political praxis of educational reconstruction and how to read this text. An important intervention in Gandhian studies, this book will be useful for scholars and researchers of peace studies, political philosophy, Indian philosophy, Indian political thought, political sociology, and South Asian studies. (shrink)

To study the development trend of embedded platforms in home appliances Internet of Things, an application of embedded Linux in the design of IoT gateway is designed. ARM microprocessor S3C2410, EM310 radio frequency module, and Ethernet DM9000A module are used to realize the home network information-processing platform. The platform utilizes existing network facilities, RF modules, and network interface modules to realize the interconnection of the home perception network through wireless or wired links. For experimental analysis, Ping the central server from (...) the IoT node B is set to twice: The first time ttl = 255 time = 1.9 ms, the second time: ttl = 255 time = 2.4 ms. After application verification, the system has the characteristics of low cost, small size, low power consumption, and vital ease of use. It can not only integrate the home Internet and the IoT gateway but also directly run application-layer communication protocols such as HTTP/mqtt between IoT nodes and Internet terminals. The design supports multi-hop communication and significantly increases the deployment range of IoT nodes without signal relay equipment, hence reducing the cost of IoT networking and the complexity of the network architecture. (shrink)

This book demonstrates the variety of ways in which the materiality of islands is intertwined in a symbiotic relationship with the capacity of the imagination to make islands the site and embodiment of a host of recurrent human desires, anxieties, and hopes.

This book demonstrates the variety of ways in which the materiality of islands is intertwined in a symbiotic relationship with the capacity of the imagination to make islands the site and embodiment of a host of recurrent human desires, anxieties, and hopes.

The literature on methodological individualism is characterized by a widely held view that if the doctrine were stated with sufficient care it would be seen to be trivially true. Professor Bhargava questions this view. He begins by carefully disentangling the various formulations of the doctrine, identifies its most plausible version, and finally locates the principal assumption underlying it, namely that beliefs are attitudes individuated entirely in terms of what lies within the individual mind. Bhargava argues that once this individualist assumption (...) is challenged it is possible to rehabilitate a non-individualist methodology which permits a contextual study of beliefs and actions, and even a study of social context relatively independent of the beliefs and actions of individuals. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 30.4 (2000) 3-13 [Access article in PDF] Benjamin's Arcades Project and the Postcolonial City Rajeev S. Patke [Tables]Walter Benjamin. The Arcades Project. Trans. Howard Eiland and Kevin McLaughlin. Cambridge, MA: Harvard UP, 1999. [AP] Post-this, post-that, post-the-other, yet in the endNot past a thing. —Seamus Heaney, "On His Work in the English Tongue" Preamble Among the several Benjamins to be conjured from The Arcades Project is the (...) one who invites a speculative discourse on the idea of the postcolonial city. We can imagine him first conceding, and then qualifying, three propositions about himself: he mitigates the force of the first—that he was Eurocentric—with the counterproposition that the cities he wrote about were formative of a discourse that can be transposed to other cities whose patterns of urban development were shaped by forces analogous to those he studied in the period of their inception. He then concedes that his work on the city remains problematic in several ways related to an uncertain temperament and method, but urges the recognition that his method came to resemble his object of study; the fortuitous correspondence reinforces the self-reflexive relation between modern cities and the discourse they generate. His third concession—that his use of Marxian ideas mixes them with elements of bourgeois thought—is marginalized by the recognition that he always took his Marx with such a difference that to confine him within such a debate would be to take him in the wrong spirit. He then proceeds to reiterate in the specific instance of the postcolonial a more familiar general claim made by many contemporary readers of the metropolitan experience, that the set of approaches he uncovered continue to remain valid wherever the project of modernity is at work. They help us address "[t]he split image of modernity, modernity's promises for social and individual emancipation, as well as modernity's failures" [Paetzold 216a]. Modern Benjamin would begin by reminding us that his "modern" and "modernity" refer primarily to the industrial transformation of society by technology, as part of the Enlightenment project of progress through the application of reason to nature and society. He would [End Page 3] qualify his sense of the project of "modernity" through the image of "[t]he world dominated by its phantasmagorias" [AP 26]. He would then shrug off the cloak of the Eurocentric by turning, for illustration, to the many Asian manifestations of the postcolonial. Here, he would make the twofold claim that the postcolonial experience brings out the disillusionment latent in the myth of progress, just as the postmodern brings out the phantasmal that is incipient in the myth of an evenly distributed access to capital and goods in the era of globalization. He would argue that the cities of contemporary Asia are the sites for a partial and uneven overlap between the postmodern and the postcolonial. This overlap, he would say, invites us to treat the idea of the city in a generic mode, without discounting the fact that the diversity separating the metropolitan centers in Asia makes little sense of an Asian city except as banal literalism. He would note that colonialism did not affect all of Asia, nor did it follow quite the same course from colony to colony, though the term retains some usefulness in accounting for the general factors that link different cities in Asia to what happened after colonialism. He would treat the postcolonial and the postmodern as three-tiered phenomena: each is a historical phase of world history, a predicament affecting collectivities, and an attitude or state of mind. The aptness of the notion of the postcolonial city, he points out, increases in direct proportion to the degree to which a city has acquired a distinctive identity through colonial administration or commerce, and decreases in direct proportion to the degree of discontinuity between the colonial and postcolonial phases of its history. He would add the corollary that any contemporary city in the developing world approximates to the postcolonial condition when its role in the network of power relations negotiates... (shrink)

The scope of social policy today is extensive. With the changing global scenario, there is a rediscovery of “social” in it. Indubitably, there is a gender perspective on social policy globally. The world Economic Forum states that there are only six countries in the world (Belgium, Denmark, France, Latvia, Luxembourg and Sweden) where women have equal work rights to men. It is noted that the situation in different countries varies when it comes to the working benefits of different genders whether (...) for native or expatriate workers in those places. Though there are rooms to enjoy attractive income and favourable working conditions such as job security, generous retirement plan, and other welfare benefits, there are still various factors that might lead to gender-based differences or gender discrimination in the unique labour market context of the GCC countries. The scenario is distinct in many Scandinavian nations like Sweden. Those countries are often considered the role model for gender equal work allowances. When it comes to India there is still disparity and difference in many areas despite the social security system the country offers in its policies. This paper aims at a descriptive and qualitative study on the causes, consequences and conclusion of the gender disparity in employee allowances in these nations. The study would imply a simple random method of interrogation to examine gender differences empirically within the labour market of the mentioned nations. The economic benefits of a gender-equal nation in the framing of social policy will be emphasized and focused on. (shrink)

The concept of marriage has undergone a transition presently when compared with the past. Norms, customs and traditions have also changed. Attitudes, choices and preferences of individuals contribute to these changes accompanied by education and modernization. Equality of women, social changes, and liberalized economy can be a few determinants contributing to the choices and preferences, yet fertility issues remain a nagging problem after marriage. The present trend highlights late marriages, and stress at home and works front for both genders, contributing (...) to instability in marriages. These being certain issues, on one hand, increase in divorce cases, maintenance and custody of children, single parenting is another set of challenges, on the other hand. Hence, marriages are also riskier and those who embark on this journey are the successful lot. This paper primarily aims to identify the perception of youth about marriage as terminologies such as “Live in relationships”, “Friends with benefits”, etc., are in vogue. Secondly, the objective of this paper is also to study if “mid-life crisis” in both the genders accompanied by emotional, physical and psychological issues can be the causal determinants for various issues in marriage. Thirdly, the paper aims to study the causal effects between marriage issues, family laws and the country’s economy as there is a direct nexus between the three forces using appropriate research methodology tools and techniques. (shrink)

We propose a new sequent calculus for bi intuitionistic logic which sits somewhere between display calculi and traditional sequent calculi by using nested sequents. Our calculus enjoys a simple (purely syntactic) cut elimination proof as do display calculi. But it has an easily derivable variant calculus which is amenable to automated proof search as are (some) traditional sequent calculi. We first present the initial calculus and its cut elimination proof. We then present the derived calculus, and then present a proof (...) search strategy which allows it to be used for automated proof search. We prove that this search strategy is terminating and complete by showing how it can be used to mimic derivations obtained from an existing calculus GBiInt for bi intuitionistic logic. As far as we know, our new calculus is the first sequent calculus for bi intuitionistic logic which uses no semantic additions like labels, which has a purely syntactic cut elimination proof, and which can be used naturally for backwards proof search. Keywords: Bi-intuitionistic logic, display calculi, proof search. (shrink)

We present a cut-free tableau calculus with histories and variables for the EXPTIME-complete multi-modal logic of common knowledge. Our calculus constructs the tableau using only one pass, so proof-search for testing theoremhood of ϕ does not exhibit the worst-case EXPTIME-behaviour for all ϕ as in two-pass methods. Our calculus also does not contain a “finitized ω-rule” so that it detects cyclic branches as soon as they arise rather than by worst-case exponential branching with respect to the size of ϕ. Moreover, (...) by retaining the rooted-tree form from traditional tableaux, our calculus becomes amenable to the vast array of optimisation techniques which have proved essential for “practical” automated reasoning in very expressive description logics. Our calculus forms the basis for developing a uniform framework for the family of all fix-point logics of common knowledge. However, there is still no “free lunch” as, in the worst case, our method exhibits 2EXPTIME-behaviour. A prototype implementation can be found at twb.rsise.anu.edu.au which allows users to test formulae via a simple graphical interface. (shrink)

Written over the last two decades, these essays answers important questions on secularism. Some of the topics covered are the democratic vision of the new republic of India, the evolution and distinctiveness of India's linguistic federalism, India's secular constitution, the Muslim personal law, and the majority-minority syndrome.

This article examines the flaws and criticism on political secularism. It explains that secularism is a beleaguered doctrine and it is also contested in political theory. Critics of secularism claim that it is linked to a flawed modernization, has a mistaken view of rationality and its importance in human life, and fails to appreciate the importance of communities in the life of religious people. This article discusses the conceptual and normative structure of secularism and evaluates what ethical gains or losses (...) might ensue in the movement from a secular state to one that grants more importance to religion. It suggests that the Indian version of secularism is a modern alternative to its mainstream Western counterpart, one from which everyone may benefit in the future. (shrink)

Walter Benjamin's Other History: Of Stones, Animals, Human Beings, and Angels. By Beatrice Hanssen (Berkeley, Los Angeles, London: University of California Press, 1998), 218 pp. $35.00 cloth.

Whether poetry gives knowledge or not is a question that has been debated from a variety of perspectives, depending on how a society or a culture defines knowledge, and on the function it ascribes to poetry in relation to that definition. The civilizations of Asia and the Middle East have generally taken the line that poetry deals primarily with affects, emotions and feelings. The West has had a more complicated history of responses. One way of making sense of this history (...) is to map rival claims as split over the idea of scientific knowledge, where it affects notions of the poetic function. The mapping, through all its manifold branches, gives clear indications that claims to knowledge – both those made on behalf of poetry, and those denied to poetry – depend more on assumptions, predispositions and cultural conditioning than on rational argument or critical debate. The resulting variety also suggests that the cultural relativism that affects such debates is unlikely to arrive at resolutions except of the contingent kind. (shrink)

Two notions of reconciliation exist. The weak or thin conception is akin to ‘resignation’. It is sought by groups that have waged war against one another but have come to the realization that neither can win. Reconciliation in this sense results from an enforced lowering of expectations. In the stronger sense, reconciliation means a virtual cancellation of enmity or estrangement via a morally grounded forgiveness, achievable only when conflicting groups acknowledge collective responsibility for past injustice, and shed their deep prejudices (...) by a profound and painful transformation in their identities. It is because this process is not possible without a somewhat brutal confrontation with oneself and a painful recognition of one’s own moral degradation that reconciliation is difficult to achieve. (shrink)

India is one of the most culturally, philosophically and religiously diverse countries in the world. The roots, not only of these diversities but also of morally appropriate responses to them, i.e. to pluralism, go very deep. This presentation substantiates this claim by looking at the relevant edicts of Emperor Asoka who reigned in India in the 3rd century BCE. Asoka not only advises people with deeply divergent worldviews to live together face to face but also suggests what the basis for (...) this coexistence could be. He claims that resources exist in all traditions to exercise self-restraints. These self-restraints are of two kinds: self-related and other-related. Everyone should exercise both these self-restraints, particularly in speech. This ‘control of tongue’ is crucial for morally legitimate and principled coexistence. In the article, I try to explicate the meaning of these edicts and flesh out this argument by providing a vivid, quasi-phenomenological account of what public life in Asokan times was like. (shrink)

In 1983, Valentini presented a syntactic proof of cut elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for “Valentini”. The sequents in GLSV were built from sets, as opposed to multisets, thus avoiding an explicit contraction rule. From a syntactic point of view, it is more satisfying and formal to explicitly identify the applications of the contraction rule that are ‘hidden’ in these set based proofs of cut elimination. There is (...) often an underly ing assumption that the move to a proof of cut elimination for sequents built from multisets is easy. Recently, however, it has been claimed that Valentini’s arguments to eliminate cut do not terminate when applied to a multiset formulation of GLSV with an explicit rule of contraction. The claim has led to much confusion and various authors have sought new proofs of cut elimination for GL in a multiset setting. Here we refute this claim by placing Valentini’s arguments in a formal setting and proving cut elimination for sequents built from multisets. The formal setting is particularly important for sequents built from multisets, in order to accurately account for the interplay between the weakening and contraction rules. Furthermore, Valentini’s original proof relies on a novel induction parameter called “width” which is computed ‘globally’. It is diffi cult to verify the correctness of his induction argument based on “width”. In our formulation however, verification of the induction argument is straight forward. Finally, the multiset setting also introduces a new complication in the the case of contractions above cut when the cut formula is boxed. We deal with this using a new transformation based on Valentini’s original arguments. Finally, we show that the algorithm purporting to show the non termi nation of Valentini’s arguments is not a faithful representation of the original arguments, but is instead a transformation already known to be insufficient. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ;It is frequently asserted that the debate between individualists and non-individualists is futile and that a suitably modified methodological individualism is trivially true. This thesis seeks to challenge this assertion, and to revive the debate by first identifying a plausible version of methodological individualism and then by outlining a non-individualist alternative. ;Identifying a plausible version of methodological individualism is not easy because the doctrine is rarely stated with clarity (...) and precision. Chapter I seeks to remedy this deficiency and unravels the various forms of methodological individualism. It also affirms that the doctrine would not be individualist if it did not possess a residual psychologism; for the individualist, intentional contents must, in principle, be individually individuated. ;I examine in detail all significant versions of explanatory individualism. Chapter II takes up its reductionist variants and concludes that most non-individualist arguments against the irreducibility of the social to the individual founder because of a failure to distinguish correlatory and micro-reductionist versions of methodological individualism. While good arguments exist against the possibility of correlatory laws connecting social and individual properties, their success presupposes the absence of identity reductions. No arguments are found in this chapter against these. However, the following chapter impugns two of the central assumptions of all nomological variants. This considerably weakens the case for such explicable non-nomologically in terms of the beliefs and desires of individuals. ;In Chapter V, an assumption of intentionalism that beliefs have a linguistic content is examined. It is claimed that such contents have an ineliminable social character. It is contended that beliefs qua attitudes have a social dimension and that they presuppose the existence of social practices. A conception of such practices is outlined to forestall the objection that they can be reduced to inter-psychologically generated actions. With this view of social beliefs and practices, we hope to possess a sketch of contextualism, the non-individualist methodological stance that encourages an independent study of social practices and a contextual study of individual intentional states. If this attempt is even partly successful, we have at least two rival prescriptive ideals guiding the social scientist. This considerably bolsters up the contention of the thesis that something serious continues to be at stake in the debate between the individualist and the non-individualist. (shrink)

This volume examines various aspects of the Indian Constitution from the perspective of political theory. The essays view the Constitution as a political or ethical document, thereby reflecting configurations of power and interests or articulating a moral vision.

We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.

CSR in India is mandated through Section 135 of the Companies Act (2013), covering the practice and reporting of social responsibility projects. This paper examines India's CSR framework and reports findings on governance, planning, and implementation from a survey of and non-governmental organisations (NGOs). Overall findings reveal several positive aspects and inform us of the challenges that companies and NGOs consider essential. First, an overwhelming majority of companies focused on three investment areas: health, education, and the environment. Second, 88% of (...) companies undertook long-term continuing projects, a positive signal from a social development perspective. Third, 68% reported that their CSR strategy was aligned with their core business strategy. Fourth, a significant majority of the companies have established the required structure for policy development, planning, and periodic monitoring from a governance perspective. Finally, findings on NGOs indicate several elements of preparedness; however, the retention of talented employees is a continual challenge. (shrink)

This Paper is divided into three sections. In the first section I provide a brief historical overview of Hindu-Muslim relations in India and of the condition of Indian Muslims today. I conclude by claiming that Indian Muslims are a marginalized minority who have been persistently underrepresented in political institutions, particularly in the Indian Parliament. This section is important for those who are less informed about these issues—and I assume that most readers fall in this category. In the second section, I (...) examine the case for political representation for Muslims. This was a much debated issue in pre-independent India. It was debated with subtlety and in considerable detail in the Constituent Assembly debates on the Indian constitution. However, with the partition of the country and the formation of the separate state of Pakistan, all debate on the political representation of Muslims ceased. I examine the merits and demerits of the case for the political representation of Indian Muslims. I also attempt a brief explanation of why this issue has virtually disappeared from the public arena in India. I conclude in the section that although political representation of Muslims qua Muslims is desirable, it is still unfeasible in the prevailing situation in India. In other words, I would support the recommendation to the Indian State that political rights not to be granted to any religious community. If political theory was to remain a handmaiden of state policy, then the matter ends right here. However, since I believe that political theory must think for the long run and design just institutions and policies for the future, and since, there is, I claim, no principled objection to the political representation of Muslims, in the third and final section I briefly outline which of the several electoral mechanisms are best suited to ensure fair political representation for Muslims in the future. In my view, the principle of fair political representation for Indian Muslims is best fulfilled by a complex mechanism consisting of preferential voting in multi-member constituencies with intra-party quotas in proportion to the overall population of Muslims in the country. (shrink)

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically interesting, requiring (...) a deeper analysis of the derivation structures than the proofs for GL and Grz. New transformations generalising the transformations for GL and Grz are developed here. (shrink)