1 หนังสืออิเล็กทรอนิกส์โดย Hitoshi Omori
Hitoshi Omori & Heinrich Wansing: New Essays on Belnap-Dunn Logic
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These in …
PDF
อังกฤษ
€96.29
