Gavin St. John

According to our database, Gavin St. John authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Substructural Gentzen Calculus for Orthomodular quantum Logic.

Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John

Rev. Symb. Log., December, 2023

2022

Most Simple Extensions of FL_e are Undecidable.

Nikolaos Galatos, Gavin St. John

J. Symb. Log., 2022

2021

Negative Translations of Orthomodular Lattices and Their Logic.

Wesley Fussner, Gavin St. John

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021