Ruy de Queiroz
Ruy de Queiroz
Professor de Ciência da Computação, Universidade Federal de Pernambuco
Verified email at
Cited by
Cited by
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
DM Gabbay, RJGB De Queiroz
Journal of Symbolic Logic, 1319-1365, 1992
Model theory
M Manzano, TLM Manzano
Oxford University Press, 1999
Equality in Labelled Deductive Systems and the functional interpretation of propositional equality
R de Queiroz, DM Gabbay
Proceedings of the 9th Amsterdam Colloquium, 547-546, 1994
The functional interpretation of the existential quantifier
RJGB de Queiroz, DM Gabbay
Oxford University Press 3 (2-3), 243-290, 1995
Logical information theory: new logical foundations for information theory
D Ellerman
Logic Journal of the IGPL 25 (5), 806-835, 2017
The functional interpretation of logical deduction
RJGB de Queiroz, AG de Oliveira, DM Gabbay
World Scientific, 2012
A normalization procedure for the equational fragment of labelled natural deduction
AG De Oliveira, RJGB De Queiroz
Logic Journal of IGPL 7 (2), 173-215, 1999
A Proof‐Theoretic Account of Programming and the Role of Reduction Rules
RJGB De Queiroz
Dialectica 42 (4), 265-282, 1988
Geometry of deduction via graphs of proofs
AG de Oliveira, RJGB de Queiroz
Logic for concurrency and synchronisation, 3-88, 2003
Labelled natural deduction
RJGB De Queiroz, DM Gabbay
Logic, Language and Reasoning, 173-250, 1999
Term rewriting systems with labelled deductive systems
AG de Oliveira, R de Queiroz
Proceedings of Brazilian Symposium on Artificial Intelligence (SBIA’94), 59-72, 1994
A educação do futuro: uma reflexão sobre aprendizagem na era digital
PD Scaico, RJGB de Queiroz
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2013
A proposal to prevent click-fraud using clickable captchas
RA Costa, RJGB de Queiroz, ER Cavalcanti
2012 IEEE Sixth International Conference on Software Security and …, 2012
An introduction to labelled natural deduction
R De Queiroz, DM Gabbay
3rd Adv. Sum. Sch. in AI. Available from theory. doc. ic. ac. uk, file named …, 1992
Natural deduction for equality: The missing entity
RJGB de Queiroz, AG de Oliveira
Advances in Natural Deduction, 63-91, 2014
The functional interpretation of modal necessity
RJGB De Queiroz, DM Gabbay
Advances in Intensional Logic, 61-91, 1997
Proof-graphs: a thorough cycle treatment, normalization and subformula property
GV Alves, AG de Oliveira, R de Queiroz
Fundamenta Informaticae 106 (2-4), 119-147, 2011
On reduction rules, meaning-as-use, and proof-theoretic semantics
RJGB De Queiroz
Studia Logica 90 (2), 211-247, 2008
Normalisation and Language‐Games1
RJGB de Queiroz
Dialectica 48 (2), 83-123, 1994
Proof Theory and Computer Programming: The Logical Foundations of Computation
RJGB De Queiroz
Imperial College of Science technology and medicine, University of London …, 1990
The system can't perform the operation now. Try again later.
Articles 1–20