Log in

Relevant bibliographies by topics / Separation logic / Books

Books on the topic 'Separation logic'

To see the other types of publications on this topic, follow the link: Separation logic.

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 17 books for your research on the topic 'Separation logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Winterstein, Felix. Separation Logic for High-level Synthesis. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-53222-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Feldman, Daniel L. The logic of American government: Applying the Constitution to the contemporary world. New York: Morrow, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Logics of separation: Exile and transcendence in aesthetic modernity. New York: Peter Lang, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Stone-Richards, Michael. Logics of separation: Exile and transcendence in aesthetic modernity. New York: Peter Lang, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Masella, Maria Grazia. Dall'altare al tribunale: Per una nuova logica della separazione. Milano: Feltrinelli, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Andrichenko, Lyudmila, A. Postnikov, L. Vasil'eva, Zh Gaunova, E. Nikitina, and Inna Plyugina. Reform of the organization of public power: the main directions of implementation. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1839416.

Full text

Abstract:

The monograph examines topical issues of reforming the organization of public power in our country in connection with the adoption in 2020 of the Law on Amendments to the Constitution of the Russian Federation. The logic of changes in the organization of public power and the directions of concretization of constitutional values, taking into account the laws of the development of the constitutional system of Russia, are revealed. The most significant characteristics of the updated model of interaction of federal public authorities in accordance with the principle of separation of powers are identified, the trends of constitutional transformations in the spheres of federal relations and local self-government, ensuring the fulfillment by public authorities of international obligations of the Russian Federation are investigated. Particular attention is paid to the development of the legal mechanism of interaction between public authorities and civil society. The authors of the book take into account the results of legislative support for the reform of public power in 2020-2021, a forecast assessment of the implementation of the relevant constitutional and legislative novelties is given, including taking into account the existing legal risks. Solutions are proposed to a number of legal issues of legislative regulation of public power, which can increase the efficiency of its functioning. For researchers, teachers, students and postgraduates, deputies of representative authorities, state and municipal employees, as well as anyone interested in constitutional law issues.

APA, Harvard, Vancouver, ISO, and other styles

7

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer, 2017.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

de Figueiredo, Rui J. P., Tonja Jacobi, and Barry R. Weingast. The New Separation‐of‐Powers Approach to American Politics. Edited by Donald A. Wittman and Barry R. Weingast. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199548477.003.0011.

Full text

Abstract:

This article aims to elaborate on the logic of the new separation-of-powers approach and draw its implications for American politics. The first three sections in the article discuss the new separation of powers as it applies to the bureaucracy, the courts, and the presidency. A survey of a series of works that emphasize the new separation-of-powers approach to American politics is provided in the article as well.

APA, Harvard, Vancouver, ISO, and other styles

10

Westphal, James, and Sun Hyun Park. Symbolic Management. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198792055.001.0001.

Full text

Abstract:

This book presents the symbolic management perspective as a comprehensive, behavioral theory of corporate governance. It describes a pervasive pattern of symbolic decoupling, or separation between appearances and reality, at each level of the governance system. The processes of governance are less efficient or effective than they appear, at every level: from interpersonal relations within organizations, such as relations between chief executive officers and directors and between top managers and lower-level employees, between firm leaders and external stakeholders, and between communities of leaders and groups of constituents. There is even a separation between appearances and reality at the level of the governance system. Symbolic management comprises the agentic practices by which decoupling is maintained at different levels of the system, including internal and external communications by firm leaders that conform to prevailing cultural values. The symbolic management perspective not only provides an integrative, behavioral alternative to economic theories of governance such as agency theory, but it subsumes economic theory. Agency theory is reconceived as a historically contingent, institutional logic, or a set of cultural values, assumptions, and prescriptions that became taken for granted among key stakeholders for a period of time. We reveal a gradual shift in institutional logics of governance, away from the traditional agency logic, and toward an alternative “neo-corporate” logic that reinterprets agency prescriptions and drops fundamental economic assumptions of agency theory. Our theory and research ultimately demonstrate how the symbolic management activities of firm leaders have contributed to this historical shift in prevailing logics of governance.

APA, Harvard, Vancouver, ISO, and other styles

11

Stone-Richards, Michael. Logics of Separation: Exile and Transcendence in Aesthetic Modernity. Lang AG International Academic Publishers, Peter, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Li, Peter Ping. The Epistemology of Yin-Yang Balancing as the Root of Chinese Cultural Traditions. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199348541.003.0002.

Full text

Abstract:

Most Eastern traditional philosophies, such as Taoism, from China, share a set of core themes that constitute a philosophy of wisdom (science–art integration), in contrast to Western philosophies with a focus on knowledge (science–art separation). This chapter argues that the epistemological system of yin-yang balancing is the root of Eastern culture traditions. Building on this theme, the chapter elaborates on the unique features of yin-yang balancing, in contrast to Aristotle’s formal logic and Hegel’s dialectics in the West. It is posited that yin-yang balancing is more sophisticated (rather than naïve) than all dialectical logic for paradox management, since it is the only system that can truly accommodate and appreciate paradox and has the potential to absorb all Western systems into a geocentric (East-meets-West) meta-system. The chapter concludes with an application of yin-yang balancing to the geocentric integration of the Eastern philosophy of wisdom with the Western philosophy of knowledge, toward a new geocentric meta-paradigm.

APA, Harvard, Vancouver, ISO, and other styles

13

Jaffro, Laurent. Locke and Port-Royal on Affirmation, Negation, and Other Postures of the Mind. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198815037.003.0011.

Full text

Abstract:

The chapter claims that in order to understand Locke’s doctrine of assent, his philosophy of mind needs to be seen in conjunction with his philosophy of language, which in turn gains from being compared with Port-Royal’s logic and grammar. It points out two conflicting facts in Locke’s account of affirmation and negation in the Essay. First, Locke entrusts affirmation and negation with the task of signifying both the assertion by which we manifest our assent to a proposition and the junction or separation of the ideas constituting the proposition. The other fact is that Locke accepts a great variety of ways of considering a proposition. This diversity of ‘postures’ is poorly expressed by the limited number of syncategorematic terms, ‘particles’. The first fact fosters a one-act view of the assent we give to propositions. The second opens the way to a multiple-act view.

APA, Harvard, Vancouver, ISO, and other styles

14

Witte, John. Sex and Marriage in the Protestant Tradition, 1500–1900. Edited by Adrian Thatcher. Oxford University Press, 2014. http://dx.doi.org/10.1093/oxfordhb/9780199664153.013.012.

Full text

Abstract:

The chapter analyses the mainline Lutheran, Calvinist, and Anglican models of sex, marriage, and family and their gradual liberalization by Enlightenment liberalism. The theological differences between these models can be traced to their grounding in Lutheran two kingdoms doctrines, Calvinist covenantal theology, Anglican commonwealth theory, and Enlightenment contractarian logic. Lutherans consigned primary marital jurisdiction to the territorial prince or urban council. Calvinists assigned interlocking marital roles to local consistories and city councils. Anglicans left marital jurisdiction to church courts, subject to state oversight and legislation. The early Enlightenment philosophers, many of them Protestants, pressed for a sharper separation of church and state in the governance of marriage, and for stronger protections of the rights and equality of women and children within and beyond the marital household. But they maintained traditional Protestant prohibitions on extramarital sex and no-fault divorce in an effort to protect especially women and children from exploitation.

APA, Harvard, Vancouver, ISO, and other styles

15

Rusnock, Paul, and Jan Sebestík. Bernard Bolzano. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198823681.001.0001.

Full text

Abstract:

Bernard Bolzano (1781–1850) is increasingly recognized as one of the greatest nineteenth-century philosophers. A philosopher and mathematician of rare talent, he made groundbreaking contributions to logic, the foundations and philosophy of mathematics, metaphysics, and the philosophy of religion. Many of the larger features of later analytic philosophy, but also many of the details, first appear in his work: for example, the separation of logic from psychology, his sophisticated understanding of mathematical proof, his definition, so similar to Tarski’s, of logical consequence, his work on the semantics of natural kind terms, or his anticipations of Cantor’s set theory. To his contemporaries, however, he was best known as an intelligent and determined advocate for reform of Church and state. Based in large part on a carefully argued utilitarian practical philosophy, he developed a program for the non-violent reform of the authoritarian institutions of the Habsburg Empire, a program which he himself helped to set in motion through his teaching and other activities. Rarely has a philosopher had such a great impact on the political culture of his homeland. Persecuted in his lifetime by secular and ecclesiastical authorities, long ignored or misunderstood by philosophers, Bolzano’s reputation has nevertheless steadily increased over the past century and a half. Much discussed and respected in Central Europe for over a century, he is finally beginning to receive the recognition he deserves in the English-speaking world. This book provides a comprehensive and detailed critical introduction to Bolzano, covering both life and works. (245 words)

APA, Harvard, Vancouver, ISO, and other styles

16

Travis, Charles. Frege. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198844129.001.0001.

Full text

Abstract:

This book is about Frege and his contribution to philosophy. It has three parts. Part I presents his general picture of thought, that is, the object of a capacity for thought (what may be thought). The point is to stress the value of separating the business of being true from thinkers’ engagement with such business, thus from issues specifically about language, and this as a model for philosophy in general. It also expands on Frege’s case for the intrinsic publicity (sharability) of thought. Part II concerns some particular developments of the general view made by Frege with a view to serving the needs of his central project (after logic itself): showing arithmetic to be logic. Part III applies the general picture in presenting a view of truth (and its irreducibility), logic of logic’s independence both of thinkers and of the world (its indifference to anything in how things happen to be), and of objectivity.

APA, Harvard, Vancouver, ISO, and other styles

17

Ranganathan, Malini. Rethinking Urban Water (In)formality. Edited by Ken Conca and Erika Weinthal. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199335084.013.23.

Full text

Abstract:

Most urban residents around the world access water through a variety of so-called informal means. While “informal” water access is often equated with private water vendors operating outside of the state, this essay argues that informal practices and logics pervade the entire water system, cutting across perceived boundaries separating the formal and informal, state and private, and utility and nonutility. This essay reconceptualizes urban water informality through a postcolonial theoretical lens, arguing that “informal” water does not lie outside of state control and oversight, nor is it strictly separate from “formal” water. Rather, informal water is a product of historically specific forms of state practice that have shaped differentiated and fractured forms of space and infrastructure over time. Central to an understanding of informal water provision is the relationship between state practice, space, and infrastructure. The essay draws from the case of Bangalore, India, to critically rethink urban water informality.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!