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

3-540-61780-9

Descrizione fisica

X, 296 p. : ill. ; 23 cm

Collana

Lecture notes in computer science ; 1158

Disciplina

51130285

Collocazione

001 LNCS (1158)

Lingua di pubblicazione

Inglese

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)

WansingH (Heinrich)

Disciplina

160

511.31

Soggetti

Nonclassical mathematical logic

Tense (Logic)

Negation (Logic)

Electronic books.

Lingua di pubblicazione

Inglese

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

1-4985-1202-X

Descrizione fisica

1 online resource (259 p.)

Disciplina

306.810973

Soggetti

Marriage - United States

Same-sex marriage - United States

Marriage law - United States

Polygamy - United States

Lingua di pubblicazione

Inglese

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.