1. Propositional intuitionistic multiple-conclusion calculus via proof graphs. (2nd July 2018) Authors: Carvalho, Ruan V B; de Oliveira, Anjolina G; de Queiroz, Ruy J G B Journal: Logic journal of the IGPL Issue: Volume 27:Number 1(2019) Page Start: 33 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. ∞-Groupoid Generated by an Arbitrary Topological λ-Model. (16th April 2021) Authors: Martínez-Rivillas, Daniel O; de Queiroz, Ruy J G B Journal: Logic journal of the IGPL Issue: Volume 30:Number 3(2022) Page Start: 465 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗