2 papers
cs.CL2026
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 seems hard or even impossible to obtain, there may exist another statement (or set of statements) , somehow related to , on the bas…
cs.LO2023
Some Preliminary Steps Towards Metaverse Logic
Antonio L. Furtado, Marco A. Casanova, Edirlei Soares de Lima
Assuming that the term 'metaverse' could be understood as a computer-based implementation of multiverse applications, we started to look in the present work for a logic that would…