Gavin St. John

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

Collaborative distances:

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

2024

Editorial Introduction.

Francesco Paoli, Gavin St. John

Stud Logica, December, 2024

Connexive Implications in Substructural Logics.

Davide Fazio, Gavin St. John

Rev. Symb. Log., 2024

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