Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models

Edirlei Soares de Lima, Marco A. Casanova, Antonio L. Furtado

When a direct proof of a statement $S$ seems hard or even impossible to obtain, there may exist another statement (or set of statements) $S^{\ast }$, somehow related to $S$, on the bas…