Crossmark

Abduction as Deductive Saturation: a Proof-Theoretic Inquiry

Published Online: 2023-09-15

Published Print: 2023-12

Authors

Piazza, Mario

Pulcini, Gabriele http://orcid.org/0000-0003-0101-0916
Sabatini, Andrea
Funding

Funding for this research was provided by:

Scuola Normale Superiore
License Information

Text and Data Mining valid from 2023-09-15

Version of Record valid from 2023-09-15
More Information

Article History

Received: 27 March 2023

Accepted: 20 July 2023

First Online: 15 September 2023

Declarations

:

: Not applicable.

: The authors declare that they have no conflict of interest.

Document is current