LEADER 05219nam 2200697Ia 450 001 9910782277703321 005 20230607222114.0 010 $a1-281-94806-3 010 $a9786611948061 010 $a981-279-974-5 035 $a(CKB)1000000000537968 035 $a(EBL)1679318 035 $a(OCoLC)879023391 035 $a(SSID)ssj0000149245 035 $a(PQKBManifestationID)11177072 035 $a(PQKBTitleCode)TC0000149245 035 $a(PQKBWorkID)10237999 035 $a(PQKB)10881061 035 $a(MiAaPQ)EBC1679318 035 $a(WSP)00004799 035 $a(Au-PeEL)EBL1679318 035 $a(CaPaEBR)ebr10255472 035 $a(CaONFJC)MIL194806 035 $a(EXLCZ)991000000000537968 100 $a20011129d2001 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEssays on non-classical logic$b[electronic resource] /$feditor, Heinrich Wansing 210 $aRiver Edge, N.J. $cWorld Scientific$d2001 215 $a1 online resource (275 p.) 225 1 $aAdvances in logic ;$vv. 1 300 $aDescription based upon print version of record. 311 $a981-02-4735-4 320 $aIncludes bibliographical references and index. 327 $aContents ; 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 327 $a2.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 327 $a3 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 327 $a3.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 327 $a4 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 327 $a5.4 Global Definability 330 $a 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 410 0$aAdvances in logic ;$vv. 1. 606 $aNonclassical mathematical logic 606 $aTense (Logic) 606 $aNegation (Logic) 615 0$aNonclassical mathematical logic. 615 0$aTense (Logic) 615 0$aNegation (Logic) 676 $a160 676 $a511.31 701 $aWansing$b H$g(Heinrich)$0714563 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782277703321 996 $aEssays on non-classical logic$93719606 997 $aUNINA