-
16Mind the gap: A conciliating short proof of strong normalization for minimal propositional logicAnnals of Pure and Applied Logic 177 (9): 103768. 2026.
Mexico City, CDMX, Mexico
Areas of Specialization
| Science, Logic, and Mathematics |
| Proof Theory |
| Computer Proof |
| Mathematical Logic |
Areas of Interest
| Proof Theory |
| Mathematical Logic |
| Logic and Philosophy of Logic, Miscellaneous |