Melvin Fitting. Cut-Free Proof Systems for Geach Logics. FLAP, 2(2):17-64, 2015. [doi]
@article{Fitting15-0, title = {Cut-Free Proof Systems for Geach Logics}, author = {Melvin Fitting}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00004.pdf}, researchr = {https://researchr.org/publication/Fitting15-0}, cites = {0}, citedby = {0}, journal = {FLAP}, volume = {2}, number = {2}, pages = {17-64}, }