| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990000207190203316 |
|
|
Autore |
International workshop TYPES'95 : 1995 |
|
|
Titolo |
Types for proofs and programs : International workshop, TYPES '95 : Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi ... [et al.] (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer-Verlag, copyr. 1996 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 1158 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910454349603321 |
|
|
Titolo |
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
River Edge, N.J., : World Scientific, 2001 |
|
|
|
|
|
|
|
ISBN |
|
1-281-94806-3 |
9786611948061 |
981-279-974-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (275 p.) |
|
|
|
|
|
|
Collana |
|
Advances in logic ; ; v. 1 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Nonclassical mathematical logic |
Tense (Logic) |
Negation (Logic) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents ; 1 Fine Grained Theories of Time ; 1.1 Priorean Tense Logic ; 1.2 Referential Tense Logic ; 1.3 A First Look at Allen's System ; 1.4 A Sorted Interval-Based Language ; 1.5 Concluding Remarks ; Bibliography ; 2 Revision Sequences and Computers With an Infinite Amount of Time |
2.1 Introduction 2.2 The Gupta-Belnap Systems ; 2.2.1 Revision Sequences ; 2.2.2 The Systems S# and S* ; 2.3 Infinite Time Turing Machines ; 2.4 Revision Sequences Modeled by Infinite Time Turing Machines ; 2.5 The Limit Rule and Other Applications ; 2.6 Aftermath ; Bibliography |
3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics 3.1 Aims of This Paper ; 3.2 The Dialogical Approach to Free Logic ; 3.2.1 Dialogical Free Logic With and Without tertium non datur |
|
|
|
|
|
|
|
|
|
|
|
; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL |
3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL 3.2.4 Combining DFLI and DFLC ; 3.3 Inconsistent Objects ; 3.3.1 Paraconsistency ; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare ; 3.4 Conclusions ; Bibliography |
4 Truthmakers Entailment and Necessity 4.1 Truthmakers ; 4.2 Entailment ; 4.3 Necessity ; 4.4 Reductionism ; 4.5 Proofs ; 4.6 Conclusion ; Bibliography ; 5 Global Definability in Basic Modal Logic ; 5.1 Introduction ; 5.2 Basic Concepts ; 5.3 Local Definability |
5.4 Global Definability |
|
|
|
|
|
|
Sommario/riassunto |
|
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathemat |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910820269003321 |
|
|
Titolo |
Beyond same-sex marriage : perspectives on marital status possibilities / / edited by Ronald C. Den Otter ; foreword by Elisabeth Sheff |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Lanham, Maryland : , : Lexington Books, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (259 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Marriage - United States |
Same-sex marriage - United States |
Marriage law - United States |
Polygamy - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Foreword; Introduction; Chapter One: Obergefell and the Liberal Case Against Civil Marriage; Chapter Two: Progressive Polygamy in Western United States; Chapter Three: Plural Marriage, Exemptions, and the Redundancy of the Free Exercise Clause; Chapter Four: Robotic Marriage and the Law; Chapter Five: A Friendship Model of Sex, Polyamory, and Plural Marriage; Chapter Six: Public Reason, Liberal Neutrality, and Marriage; Chapter Seven: The Dialectic of Islam and Polygyny; Chapter Eight: The Need for a Sociological Perspective on Polyamory |
Chapter Nine: Scrutinizing Polygamy: Utah's Brown v. Buhman and British Columbia's Reference Re: Section 293Chapter Ten: The Paradox of Big Love in the Liberal State: Treating Adults like Children and Children like Adults; Index; About the Contributors |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Although the Supreme Court ruling ended a legal challenge to same-sex marriage, the debate continues and no one seems to know what lies on the horizon. This edited volume contributes to the growing literature on post-marriage-equality marriage. This book is the first interdisciplinary approach to understanding the various historical, |
|
|
|
|
|
|
|
|
|
|
empirical, normative, and legal dimensions of marriage as Americans begin to imagine what marriage could be like in the future. |
|
|
|
|
|
| |