LEADER 05137nam 22007455 450 001 9910484043703321 005 20200704163036.0 010 $a3-540-75939-5 024 7 $a10.1007/978-3-540-75939-3 035 $a(CKB)1000000000490290 035 $a(SSID)ssj0000316131 035 $a(PQKBManifestationID)11228672 035 $a(PQKBTitleCode)TC0000316131 035 $a(PQKBWorkID)10262720 035 $a(PQKB)11102898 035 $a(DE-He213)978-3-540-75939-3 035 $a(MiAaPQ)EBC6281351 035 $a(MiAaPQ)EBC4975746 035 $a(Au-PeEL)EBL4975746 035 $a(CaONFJC)MIL135476 035 $a(OCoLC)1024262956 035 $a(PPN)123728789 035 $a(EXLCZ)991000000000490290 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic and Proof-theoretic Aspects of Non-classical Logics $ePapers in Honor of Daniele Mundici on the Occasion of His 60th Birthday /$fedited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (VIII, 309 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4460 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75938-7 320 $aIncludes bibliographical references and index. 327 $aMany-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency -- Note on Conditional Constructivity -- Symmetric MV-Algebras -- Implicit Operations in MV-Algebras and the Connectives of ?ukasiewicz Logic -- The Algebras of ?ukasiewicz Many-Valued Logic: A Historical Overview -- Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics -- Cantor?Bernstein Property for MV-Algebras -- A Note on Representing and Interpreting MV-Algebras -- Towards the Generalization of Mundici?s ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code -- Finitely Presented Abelian Lattice-Ordered Groups -- On Fuzzy Theories with Crisp Sentences -- Proof Transformations and Structural Invariance -- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops -- Notes on Strong Completeness in ?ukasiewicz, Product and BL Logics and in Their First-Order Extensions -- The Automorphism Group of Falsum-Free Product Logic -- Probability Theory on IF Events. 330 $aEdited 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. 410 0$aLecture Notes in Artificial Intelligence ;$v4460 606 $aArtificial intelligence 606 $aMathematical logic 606 $aNatural language processing (Computer science) 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aNatural language processing (Computer science). 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aNatural Language Processing (NLP). 676 $a511.31 702 $aAguzzoli$b S$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCiabattoni$b A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGerla$b B$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aManara$b C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMarra$b V$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484043703321 996 $aAlgebraic and Proof-theoretic Aspects of Non-classical Logics$9771862 997 $aUNINA