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
