05219nam 2200697Ia 450 991078227770332120230607222114.01-281-94806-39786611948061981-279-974-5(CKB)1000000000537968(EBL)1679318(OCoLC)879023391(SSID)ssj0000149245(PQKBManifestationID)11177072(PQKBTitleCode)TC0000149245(PQKBWorkID)10237999(PQKB)10881061(MiAaPQ)EBC1679318(WSP)00004799(Au-PeEL)EBL1679318(CaPaEBR)ebr10255472(CaONFJC)MIL194806(EXLCZ)99100000000053796820011129d2001 uy 0engur|n|---|||||txtccrEssays on non-classical logic[electronic resource] /editor, Heinrich WansingRiver Edge, N.J. World Scientific20011 online resource (275 p.)Advances in logic ;v. 1Description based upon print version of record.981-02-4735-4 Includes bibliographical references and index.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 Time2.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 ; Bibliography3 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 DFL3.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 ; Bibliography4 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 Definability5.4 Global Definability 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 mathematAdvances in logic ;v. 1.Nonclassical mathematical logicTense (Logic)Negation (Logic)Nonclassical mathematical logic.Tense (Logic)Negation (Logic)160511.31Wansing H(Heinrich)714563MiAaPQMiAaPQMiAaPQBOOK9910782277703321Essays on non-classical logic3719606UNINA