| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996200302303316 |
|
|
Autore |
Kozen Dexter |
|
|
Titolo |
Logic in Computer Science, 10th Symposium on (LICS '95 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society Press, 1995 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 518 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Logic, Symbolic and mathematical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Sommario/riassunto |
|
The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910349548403321 |
|
|
Autore |
Gill Emily R |
|
|
Titolo |
Free Exercise of Religion in the Liberal Polity : Conflicting Interpretations / / by Emily R. Gill |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (309 pages) |
|
|
|
|
|
|
Collana |
|
Palgrave Studies in Religion, Politics, and Policy, , 2731-6777 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Religion and sociology |
Religion and politics |
America - Politics and government |
Political science |
Sociology of Religion |
Politics and Religion |
American Politics |
Political Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Introduction -- 2. Varieties of Neutrality -- 3. Free Exercise of Religion and Public Funds -- 4. Private Voluntary Organizations -- 5. Exemption Issues in Religious Belief and Practice -- 6. Marriage and Intimate Relationships -- 7. Conclusion. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book addresses the challenge of providing for the free exercise of religion without allowing religious exercise by some individuals and groups to impinge upon the conscientious convictions of others. State neutrality toward religion is impossible, because neutrality means inattention to religion for some, but leveling the playing field through accommodations or exemptions for others. Both formal and substantive neutrality have a place in addressing particular conflicts. One such example is public funding for religiously affiliated social |
|
|
|
|
|
|
|
|
|
|
service programs, for which neither type of neutrality is satisfactory and thus some restrictions are justifiable; conversely, private voluntary organizations that do not receive direct public funding should be allowed wide latitude regarding their practices. This title also examines the expansive free exercise claims that are now made by those who argue that following the law impinges upon their beliefs, as exemplified by the ministerial exception and the Hobby Lobby and Masterpiece Cakeshop Supreme Court cases. It concludes by analyzing the relationship between neutrality and marriage as a civil status, which impacts a variety of commitment types and plural marriage. |
|
|
|
|
|
| |