R-Calculus, III : Post Three-Valued Logic
Wei Li, Yuefei Sui

Informasi Umum

Kode

23.21.2188

Klasifikasi

515.15 - Calculus and analytic geometry

Jenis

Buku - Elektronik (E-Book)

Subjek

Calculus

No. Rak

Dilihat

151 kali

Informasi Lainnya

Abstraksi

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.

• - Kalkulus III
• CII1H3 - KALKULUS LANJUT
• CPI1H3 - KALKULUS LANJUT
• ISI1A3 - KALKULUS
• CII1D3 - KALKULUS
• CII1D3 - KALKULUS
• CII1D3 - KALKULUS
• CPI1D3 - KALKULUS
• CII-1D3 - KALKULUS
• CII1D3 - KALKULUS
• ISI1A3 - Kalkulus
• CII1D3 - Kalkulus
• CDK1EAB3 - KALKULUS
• CAK1CAB3 - KALKULUS
• CCK1BAB3 - KALKULUS
• CAK1CAB3 - Kalkulus
• TUI1B3 - KALKULUS 1
• TUI1B3 - KALKULUS 1
• TUI1B3 - KALKULUS 1
• TUI1B3 - KALKULUS 1
• IEI1E4 - KALKULUS 1
• ILI1D4 - KALKULUS 1
• TUI1B3 - KALKULUS 1
• TUI1B3 - KALKULUS 1
• TUI1B3 - KALKULUS 1
• AZK1AAB3 - KALKULUS 1
• BAK1HAB4 - KALKULUS 1
• BCK1CAB4 - KALKULUS 1
• TUI1G3 - KALKULUS 2
• TUI1G3 - KALKULUS 2
• TUI1G3 - KALKULUS 2
• TUI1G3 - KALKULUS 2
• IEI1I4 - KALKULUS 2
• ILI1H4 - KALKULUS 2
• TUI1G3 - KALKULUS 2
• TUI1G3 - KALKULUS 2
• TUI1G3 - KALKULUS 2
• AZK1FAB3 - KALKULUS 2
• BAK1OAB4 - KALKULUS 2
• BCK1IAB4 - KALKULUS 2
• AZK1FAB3 - KALKULUS 2
• IEI2O3 - KALKULUS 3
• ILI2J3 - KALKULUS 3
• BAK2CAB3 - KALKULUS 3
• - Kalkulus I
• - Kalkulus II
• CAK1LAB3 - Kalkulus Lanjut
• CBK1CAB3 - Kalkulus
• CCK1BAB3 - Kalkulus
• AZK1FAB3 - Kalkulus 2
• AZK1FAB3 - Kalkulus 2
• AZK1FAB3 - Kalkulus 2
• CDK1EAB3 - Kalkulus
• CAK1CAB3 - Kalkulus
• CAK1CAB3 - Kalkulus
• CBK1CAB3 - Kalkulus
• AZK1AAB3 - Kalkulus 1
• AZK1FAB3 - Kalkulus 2
• AZK1AAB3 - Kalkulus 1
• AZK1FAB3 - Kalkulus 2

Koleksi & Sirkulasi

Tersedia 1 dari total 1 Koleksi

Pengarang

Nama	Wei Li, Yuefei Sui
Jenis	Perorangan
Penyunting
Penerjemah

Penerbit

Nama	Springer Singapore
Kota	New York
Tahun	2022

Sirkulasi

Harga sewa	IDR 0,00
Denda harian	IDR 0,00
Jenis	Non-Sirkulasi

Download / Flippingbook