| HiCIRF: A high-fidelity HF channel simulation LJ Nickisch, G St. John, SV Fridman, MA Hausman, CJ Coleman Radio Science 47 (04), 1-10, 2012 | 28 | 2012 |
| Negative translations of orthomodular lattices and their logic W Fussner, G St. John Electronic Proceedings in Theoretical Computer Science 343, 37–49, 2021 | 6 | 2021 |
| A substructural Gentzen calculus for orthomodular quantum logic D Fazio, A Ledda, F Paoli, G St. John The Review of Symbolic Logic, 2022 | 5 | 2022 |
| Decidability for residuated lattices and substructural logics G St. John University of Denver, 2019 | 3 | 2019 |
| MOST SIMPLE EXTENSIONS OF FLe ARE UNDECIDABLE N Galatos, G St. John The Journal of Symbolic Logic 87 (3), 1156 - 1200, 2022 | 2 | 2022 |
| Connexive implication in substructural logics D Fazio, G St. John | 2 | 2022 |
| Connexive implications in FLe-algebras G St. John, D Fazio 2022 Spring Western Sectional Meeting, 2022 | | 2022 |
| A new perspective on quantum substructural logics G St. John BLAST 2021, 80, 2021 | | 2021 |
| Undecidability of FLe in the presence of structural rules G St. John | | 2018 |
| Undecidability of {·, 1,∨}-equations in subvarieties of commutative residuated lattices. G St. John | | 2017 |
| On formally undecidable propositions of Zermelo-Fraenkel set theory G St. John Youngstown State University, 2013 | | 2013 |
| Weil algebras and varieties of rigs L Spada, G St. John TACL2024, 0 | | |
| Associativity in Quantum Logic W Fussner, G St. John | | |
Wesley FussnerResearcher, Institute of Computer Science of the Czech Academy of Sciences在 cs.cas.cz 的电子邮件经过验证
