J. P. Aguilera

Vienna University of Technology,

Institute of Discrete Mathematics and Geometry,

Wiedner Hauptstrasse 8–10,

1040 Vienna, Austria.

Email: surname at logic.at

Research Interests: mathematical logic, set theory, proof theory.

Some papers and preprints

  • (with David Fernández-Duque) Verification Logic. J. Log. Comput., 2017. [link] 
  • (with Matthias Baaz) Unsound Inferences Make Proofs Shorter. [pdf]
  • (with Matthias Baaz) Ten Problems in Gödel Logic. Soft Comput., 2017. [pdf]
  • (with Levent Ülkü) On the Maximization of Menu-Dependent Interval Orders. S. Choice Welf., 2017. [link]
  • (with David Fernández-Duque) Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Logic, 2017. [arxiv]