Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebraic and Proof-theoretic Aspects of Non-classical Logics [[electronic resource] ] : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra
| Algebraic and Proof-theoretic Aspects of Non-classical Logics [[electronic resource] ] : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (VIII, 309 p.) |
| Disciplina | 511.31 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
| ISBN | 3-540-75939-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Many-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. |
| Record Nr. | UNINA-9910484043703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic and Proof-theoretic Aspects of Non-classical Logics [[electronic resource] ] : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra
| Algebraic and Proof-theoretic Aspects of Non-classical Logics [[electronic resource] ] : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (VIII, 309 p.) |
| Disciplina | 511.31 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
| ISBN | 3-540-75939-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Many-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. |
| Record Nr. | UNISA-996465408303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||