Gavin St. John

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Proof Theoretic

Boolean Algebra

Sufficient Conditions

Predicate Logic

Top Venues

Rev. Symb. Log.

Publications

Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John
A Substructural Gentzen Calculus for Orthomodular quantum Logic. Rev. Symb. Log. 16 (4) (2023)
Nikolaos Galatos, Gavin St. John
are Undecidable. J. Symb. Log. 87 (3) (2022)
Wesley Fussner, Gavin St. John
Negative Translations of Orthomodular Lattices and Their Logic. QPL (2021)