Cargando…
Essays on non-classical logic /
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 a...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
River Edge, N.J. :
World Scientific,
©2001.
|
| Colección: | Advances in logic ;
v. 1. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn261125098 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 081007s2001 njua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d UBY |d IDEBK |d E7B |d OCLCQ |d CBT |d OCLCQ |d OCLCF |d OCLCQ |d NLGGC |d OCLCO |d YDXCP |d STF |d OCLCQ |d AZK |d AGLDB |d COCUF |d MOR |d PIFAG |d OCLCQ |d JBG |d OCLCQ |d WRM |d VTS |d NRAMU |d VT2 |d OCLCQ |d AU@ |d M8D |d UKAHL |d OCLCQ |d K6U |d INARC |d UKCRE |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 505147520 |a 646768250 |a 764498948 |a 961551359 |a 962672513 |a 988410665 |a 991925553 |a 1037744117 |a 1038561105 |a 1045509539 |a 1153535156 | ||
| 020 | |a 9789812799746 |q (electronic bk.) | ||
| 020 | |a 9812799745 |q (electronic bk.) | ||
| 020 | |z 9789810247355 | ||
| 020 | |z 9810247354 | ||
| 029 | 1 | |a AU@ |b 000049162754 | |
| 029 | 1 | |a AU@ |b 000051361831 | |
| 029 | 1 | |a DEBBG |b BV043148267 | |
| 029 | 1 | |a DEBSZ |b 422098280 | |
| 029 | 1 | |a GBVCP |b 802685285 | |
| 029 | 1 | |a NZ1 |b 13857942 | |
| 035 | |a (OCoLC)261125098 |z (OCoLC)505147520 |z (OCoLC)646768250 |z (OCoLC)764498948 |z (OCoLC)961551359 |z (OCoLC)962672513 |z (OCoLC)988410665 |z (OCoLC)991925553 |z (OCoLC)1037744117 |z (OCoLC)1038561105 |z (OCoLC)1045509539 |z (OCoLC)1153535156 | ||
| 050 | 4 | |a QA9.4 |b .E77 2001eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Essays on non-classical logic / |c editor, Heinrich Wansing. |
| 260 | |a River Edge, N.J. : |b World Scientific, |c ©2001. | ||
| 300 | |a 1 online resource (xi, 262 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Advances in logic ; |v v. 1 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 1. Fine grained theories of time / Patrick Blackburn -- 2. Revision sequences and computers with an infinite amount of time / Benedikt Lowe -- 3. On Frege's nightmare: A combination of intuitionistic, free and paraconsistent logics / Shahid Rahman -- 4. Truthmakers, entailment and necessity / Stephen Read -- 5. Global definability in basic modal logic / Maarten De Rijke and Holger Sturm -- 6. Ackermann's implication for typefree logic / Klaus Robering -- 7. Why dialogical logic? / Helge Ruckert -- 8. Semantics for Constructive Negations / Yaroslav Shramko -- 9. Recent trends in paraconsistent logic / Max Urchs -- 10. Obligations, authorities, and history dependence / Henrich Wansing. | |
| 520 | |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 mathematical and foundational aspects of modal and temporal logic. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Nonclassical mathematical logic. | |
| 650 | 0 | |a Tense (Logic) | |
| 650 | 0 | |a Negation (Logic) | |
| 650 | 6 | |a Logique mathématique non classique. | |
| 650 | 6 | |a Temps (Logique) | |
| 650 | 6 | |a Négation (Logique) | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Negation (Logic) |2 fast | |
| 650 | 7 | |a Nonclassical mathematical logic |2 fast | |
| 650 | 7 | |a Tense (Logic) |2 fast | |
| 700 | 1 | |a Wansing, H. |q (Heinrich) | |
| 776 | 0 | 8 | |i Print version: |t Essays on non-classical logic. |d River Edge, N.J. : World Scientific, ©2001 |z 9810247354 |z 9789810247355 |w (OCoLC)48505390 |
| 830 | 0 | |a Advances in logic ; |v v. 1. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235774 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24685488 | ||
| 938 | |a ebrary |b EBRY |n ebr10255472 | ||
| 938 | |a EBSCOhost |b EBSC |n 235774 | ||
| 938 | |a Internet Archive |b INAR |n essaysonnonclass0000unse | ||
| 938 | |a YBP Library Services |b YANK |n 2889333 | ||
| 994 | |a 92 |b IZTAP | ||