Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

R-Calculus, III: Post Three-Valued Logic

Name: R-Calculus, III: Post Three-Valued Logic
Brand: Springer, Berlin
SKU: 39257463
Price: 182.19 EUR
Availability: InStock
Author: Wei Li
ISBN: 9789811942693

Wei Li

Yuefei Sui

Lingua

Inglese

Libro Rigido

Codice Libristo: 39257463

Casa editrice Springer, Berlin, novembre 2021

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Descrizione completa

Codice Libristo: 39257463

446 b

182.19 €

Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Make More Love Ann-Marlene Henning

In brossura

15.09 €

Racjonalność: co to jest, dlaczego jej brakuje, dlaczego ma znaczenie Steven Pinker

In brossura

11.99 €

Think Human: Kundenzentriertes UX-Design Isolde Kommer

In brossura

27.99 €

Die kleine Traummischerin, Deutsch-Spanisch, m. Audio-CD. La pequeña creadora de sueños Klaus Baumgart

Rigido

9.59 €

Římané Imke Rudelová

Rigido

6.99 €

Britannia 1. Excalibur ANA ALONSO

In brossura

22.19 €

Le voyageur sans bagage/Le bal des voleurs Jean Anouilh

In brossura

9.49 €

Ermittlung von Werkstoff- sowie Fertigungskennzahlen für die Konstruktion und Dimensionierung von spritzgegossenen Kunststofferzeugnissen Georg Menges

In brossura

55.29 €

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.