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)

Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi. - Ariel Jonathan Roffé; Federico Pailos (Australas. J. Log., 2021)

Random Formula Generators. - Ariel Jonathan Roffé; Joaquin S. Toranzo Calderon (CoRR, 2021)

Tableaux for metainferential logics. - A. Bavosa Castro; Agustina Borzi; Bruno Da Ré; Ariel Jonathan Roffé; Joaquin S. Toranzo Calderon (J. Appl. Non Class. Logics, 2026)