Essays on non-classical logic /

Mostrar otras versiones (1)

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Wansing, H. (Heinrich)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: River Edge, N.J. : World Scientific, ©2001.
Colección:Advances in logic ; v. 1.
Temas:
Nonclassical mathematical logic.
Tense (Logic)
Negation (Logic)
Logique mathématique non classique.
Temps (Logique)
Négation (Logique)
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Nonclassical mathematical logic
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares