Joaquín S. Toranzo Calderón

Orcid: 0000-0003-1297-0912

According to our database1, Joaquín S. Toranzo Calderón authored at least 4 papers between 2021 and 2026.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
On a Generalization of all Strong Kleene Generalizations of Classical Logic.
Stud Logica, June, 2026

Tableaux for metainferential logics.
J. Appl. Non Class. Logics, January, 2026

2025
A-VERT: Agnostic Verification with Embedding Ranking Targets.
CoRR, October, 2025

2021
Random Formula Generators.
CoRR, 2021


  Loading...