ALEJANDRO JAVIER SOLARES ROJAS; PAOLO BALDI; RICARDO OSCAR RODRIGUEZ

KE-tableaux para lógica intuicionista proposicional

Simposio Argentino de Inteligencia Artificial y Ciencia de Datos, 2025

Lugar: Buenos Aires; Año: 2025;

ALEJANDRO JAVIER SOLARES ROJAS; ONDREJ MAJER; FAVIO MIRANDA PEREA

Game semantics for weak depth-bounded approximations to classical propositional logic

The Logic Algebra and Truth Degrees (LATD) 2025

Lugar: Siena; Año: 2025;

ALEJANDRO JAVIER SOLARES ROJAS; MARCELLO D?AGOSTINO

An informational approach to logic: towards more realistic models of logical agents

Walter Carnielli on Reasoning, Paraconsistency, and Probability

Año: 2022;