( en | de | ru )

 

Disambiguierung von "Aguilera, Juan P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unsound Inferences Make Proofs Shorter.

, und . CoRR, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hsiao-Mei Juan

Alexander Juan

Carlos Aguilera

Máximo Aguilera

Pere Juan i Tous

 

Weitere Publikationen von Autoren mit dem selben Namen

Unsound Inferences Make Proofs Shorter., und . J. Symb. Log., 84 (1): 102-122 (2019)The order of Reflection.. J. Symb. Log., 86 (4): 1555-1583 (2021)Goodstein’s theorem meets reverse mathematics (abstract), , , und . Oberwolfach Report, (2020)Strong Completeness of Provability Logic for Ordinal Spaces., und . J. Symb. Log., 82 (2): 608-628 (2017)A topological completeness theorem for transfinite provability logic.. Arch. Math. Log., 62 (5-6): 751-788 (Juli 2023)Verification logic: An arithmetical interpretation for negative introspection., und . Advances in Modal Logic, Seite 1-20. College Publications, (2016)Cut Elimination for Gödel Logic with an Operator Adding a Constant., und . WoLLIC, Volume 9803 von Lecture Notes in Computer Science, Seite 36-51. Springer, (2016)A Non-hyperarithmetical Gödel Logic., , und . LFCS, Volume 13137 von Lecture Notes in Computer Science, Seite 1-8. Springer, (2022)A Gödel Calculus for Linear Temporal Logic., , , und . KR, (2022)Compactness in Infinitary Gödel Logics.. WoLLIC, Volume 9803 von Lecture Notes in Computer Science, Seite 22-35. Springer, (2016)