Crossmark

Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic

Published Online: 2026-03-18

Published Print: 2026-06

Authors

Fitelson, Branden

Peltier, Nicolas
Funding

Funding for this research was provided by:

Northeastern University USA
License Information

Text and Data Mining valid from 2026-03-18

Version of Record valid from 2026-03-18
More Information

Article History

Received: 27 October 2025

Accepted: 2 March 2026

First Online: 18 March 2026

Declarations

:

: The authors declare no competing interests.

Document is current