| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910782277703321 |
|
|
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) |
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910674021703321 |
|
|
Autore |
González Penedo Manuel |
|
|
Titolo |
XoveTIC 2019: The 2nd XoveTIC Conference (XoveTIC 2019) A Coruña, Spain, 5-6 September 2019 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (158 p.) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This issue of Proceedings gathers papers presented at XOVETIC2019 (A Coruña, Spain, 5-6 September 2019), a conference with the main goal of bringing together young researchers working in big data, artificial intelligence, Internet of Things, HPC(High-performance computing), cybersecurity, bioinformatics, natural language processing, 5G and others areas from the field of ICT (Information Communications Technology), and offering a platform to present the results of their research to a national audience in Galicia and north of Portugal. This second edition aims to serve as the basis of this event, which will be consolidated over time and acquire international projection. The conference is co-funded by Xunta de Galicia and European Union. European Regional Development Fund (ERDF). |
|
|
|
|
|
|
|
| |