Ariel Jonathan Roffé

According to our database, Ariel Jonathan Roffé authored at least 4 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2026

Tableaux for metainferential logics.

A. Bavosa Castro, Agustina Borzi, Bruno Da Ré, Ariel Jonathan Roffé, Joaquin S. Toranzo Calderon

J. Appl. Non Class. Logics, January, 2026

2021

Random Formula Generators.

Ariel Jonathan Roffé, Joaquin S. Toranzo Calderon

CoRR, 2021

Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.

Ariel Jonathan Roffé, Federico Pailos

Australas. J. Log., 2021

2020

Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts.

Ariel Jonathan Roffé

J. Appl. Non Class. Logics, 2020