1-7 of 7
Authors: Ruy J G B de Queiroz
Journal Article
∞-Groupoid Generated by an Arbitrary Topological λ-Model Get access
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 465–488, https://doi.org/10.1093/jigpal/jzab015
Published: 16 April 2021
Journal Article
Propositional intuitionistic multiple-conclusion calculus via proof graphs Get access
Logic Journal of the IGPL, Volume 27, Issue 1, February 2019, Pages 33–59, https://doi.org/10.1093/jigpal/jzy017
Published: 02 July 2018
Journal Article
On the identity type as the type of computational paths Get access
Logic Journal of the IGPL, Volume 25, Issue 4, August 2017, Pages 562–584, https://doi.org/10.1093/jigpal/jzx015
Published: 26 June 2017
Journal Article
Intuitionistic N-Graphs Get access
Logic Journal of the IGPL, Volume 22, Issue 2, April 2014, Pages 274–285, https://doi.org/10.1093/jigpal/jzt033
Published: 01 August 2013
Journal Article
Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts Get access
Logic Journal of the IGPL, Volume 9, Issue 5, September 2001, Pages 693–734, https://doi.org/10.1093/jigpal/9.5.693
Published: 01 September 2001
Journal Article
Editorial Get access
Logic Journal of the IGPL, Volume 3, Issue 4, July 1995, Pages 532–533, https://doi.org/10.1093/jigpal/3.4.532
Published: 01 July 1995
Journal Article
The Functional Interpretation of the Existential Quantifier Get access
Logic Journal of the IGPL, Volume 3, Issue 2-3, June 1995, Pages 243–290, https://doi.org/10.1093/jigpal/3.2-3.243
Published: 01 June 1995
