Analysis and Synthesis of Logics - Carnielli, Walter
- Format: Broché
- 620 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre59,88 €
Produit Neuf
Ou 14,97 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
248,70 €
Produit Neuf
Ou 62,18 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Analysis And Synthesis Of Logics Format Broché - Livre Littérature Générale
0 avis sur Analysis And Synthesis Of Logics Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Cricut Joy
Neuf dès 51,50 €
Occasion dès 100,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Peugeot 206 Petrol & Diesel (98 - 01) Haynes Repair Manual
Neuf dès 40,97 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Building Scientific Apparatus
Neuf dès 59,88 €
-
Tolkien, Race And Cultural History
Neuf dès 40,32 €
-
The Laws Guide To Drawing Birds
1 avis
Neuf dès 29,02 €
-
The Ancient Egyptian Pyramid Texts
Neuf dès 67,59 €
-
The Art Of Titanfall 2
1 avis
Neuf dès 40,46 €
-
A Year To Live
Neuf dès 39,59 €
-
Speed Secrets
Neuf dès 25,35 €
Occasion dès 26,31 €
-
Sunrise On The Reaping (A Hunger Games Novel)
Neuf dès 26,34 €
-
A Companion To The Cantos Of Ezra Pound
Neuf dès 48,81 €
Occasion dès 50,80 €
-
The Class Struggle In The Ancient Greek World
Neuf dès 39,09 €
-
No Dig Organic Home & Garden
Neuf dès 36,31 €
Occasion dès 44,74 €
-
Eerie Archives Volume 1
Neuf dès 35,42 €
Occasion dès 39,87 €
-
The Principles Of Deep Learning Theory
Neuf dès 44,61 €
-
Red Star Over The Pacific, Second Edition
Neuf dès 31,69 €
Occasion dès 59,99 €
Produits similaires
Présentation Analysis And Synthesis Of Logics Format Broché
- Livre Littérature GénéraleAuteur(s) : Carnielli, Walter - Coniglio, Marcelo - Sernadas, Cristina - Gouveia, Paula - Gabbay, Dov M.Editeur : Springer NetherlandLangue : AnglaisParution : 01/11/2010Format : Moyen, de...
Résumé :
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete. The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).
Détails de conformité du produit
Personne responsable dans l'UE