Skip to main content
  • Book
  • © 2007

Algebraic and Proof-theoretic Aspects of Non-classical Logics

Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4460)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (17 chapters)

  1. Front Matter

    Pages I-VIII
  2. Note on Conditional Constructivity

    • Matthias Baaz
    Pages 25-29
  3. Symmetric MV-Algebras

    • L. P. Belluce, Antonio Di Nola, Ada Lettieri
    Pages 30-49
  4. Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics

    • Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini
    Pages 84-106
  5. Cantor–Bernstein Property for MV-Algebras

    • Antonio Di Nola, Mirko Navara
    Pages 107-118
  6. A Note on Representing and Interpreting MV-Algebras

    • Costas A. Drossos, Panagis Karazeris
    Pages 119-126
  7. Verification by Parallelization of Parametric Code

    • Tobias Gedell, Reiner Hähnle
    Pages 138-159
  8. Finitely Presented Abelian Lattice-Ordered Groups

    • A. M. W. Glass, Françoise Point
    Pages 160-193
  9. On Fuzzy Theories with Crisp Sentences

    • Petr Hájek
    Pages 194-200
  10. Proof Transformations and Structural Invariance

    • Stefan Hetzl, Alexander Leitsch
    Pages 201-230
  11. Probability Theory on IF Events

    • Beloslav Riečan
    Pages 290-308
  12. Back Matter

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited extended versions of the most interesting contributions to the International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, held in Gargnano, Italy, in March 2006.

Daniele Mundici is widely acknowledged as a leading scientist in many-valued logic and ordered algebraic structures. In the last decades, his work has unveiled profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists attending the conference have contributed to this wide-ranging collection with papers all variously related to Daniele's work.

Keywords

  • Automated first order deduction
  • Constructive provability
  • Extension
  • Free MV-algebras
  • Fuzzy
  • IMTL algebras
  • Lattice-ordered abelian groups
  • Lukasiewicz logic
  • Many-valued logic
  • Quantum computation
  • artificial intelligence
  • knowledge
  • logic
  • semantics
  • verification

Bibliographic Information

  • Book Title: Algebraic and Proof-theoretic Aspects of Non-classical Logics

  • Book Subtitle: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday

  • Editors: Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-75939-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2007

  • Softcover ISBN: 978-3-540-75938-6Published: 26 October 2007

  • eBook ISBN: 978-3-540-75939-3Published: 28 October 2007

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 312

  • Topics: Artificial Intelligence, Formal Languages and Automata Theory, Natural Language Processing (NLP)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions