1.

Record Nr.

UNINA9910451363703321

Autore

Ford Carole Bell <1934->

Titolo

The women of CourtWatch [[electronic resource] ] : reforming a corrupt family court system / / Carole Bell Ford

Pubbl/distr/stampa

Austin, : University of Texas Press, 2005

ISBN

0-292-79671-4

Edizione

[1st ed.]

Descrizione fisica

1 online resource (255 p.)

Disciplina

346.764/141015/0269

Soggetti

Lawyers - Texas

Judicial corruption - Texas - Harris County

Domestic relations courts - Texas - Harris County

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references (p. [217]-233) and index.

Nota di contenuto

Before CourtWatch : a broken system -- Florence : a woman in two worlds -- Gender bias and the law : the blind maiden -- Ethical dilemmas : practicing family law -- Florence, Melanie, and Diana : "housewives dabbling in politics" -- The election of 1994 : "the babes that slew the goliath" -- Houston : after CourtWatch.



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