Adaptive Proofs for Networks of Partial Structures

Andreas, Holger;Verdée, Peter
(2016) Logical Studies of Paraconsistent Reasoning in Science and Mathematics : Trends in Logic — ISBN: [9783319402185], p. 17-45, published

Files

No attached file found for this publication.

Details

Authors
Affiliations

Citations

Andreas, H., & Verdée, P. (2016). Adaptive Proofs for Networks of Partial Structures. In Andreas Holger et Peter Verdée (ed.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics : Trends in Logic (p. p. 17-45). Springer. https://doi.org/10.1007/978-3-319-40220-8_2