Ruy de Queiroz
Ruy de Queiroz
Professor de Ciência da Computação, Universidade Federal de Pernambuco
Verified email at cin.ufpe.br
Title
Cited by
Cited by
Year
Extending the Curry-Howard interpretation to linear, relevant and other resource logics1
DM Gabbay, RJGB De Queiroz
The Journal of Symbolic Logic 57 (4), 1319-1365, 1992
911992
Model theory
M Manzano, TLM Manzano
Oxford University Press, 1999
551999
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
231994
The functional interpretation of the existential quantifier
RJGB de Queiroz, DM Gabbay
Oxford University Press 3 (2-3), 243-290, 1995
221995
Logical information theory: new logical foundations for information theory
D Ellerman
Logic Journal of the IGPL 25 (5), 806-835, 2017
212017
The functional interpretation of logical deduction
RJGB de Queiroz, AG de Oliveira, DM Gabbay
World Scientific, 2012
202012
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
201999
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
192013
A Proof‐Theoretic Account of Programming and the Role of Reduction Rules
RJGB De Queiroz
Dialectica 42 (4), 265-282, 1988
181988
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
171994
Natural deduction for equality: The missing entity
RJGB de Queiroz, AG de Oliveira
Advances in Natural Deduction, 63-91, 2014
162014
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
162012
Geometry of deduction via graphs of proofs
AG de Oliveira, RJGB de Queiroz
Logic for concurrency and synchronisation, 3-88, 2003
162003
Labelled natural deduction
RJGB De Queiroz, DM Gabbay
Logic, Language and Reasoning, 173-250, 1999
161999
An introduction to labelled natural deduction
R De Queiroz, D Gabbay
3rd Adv. Sum. Sch. in AI. Available from theory. doc. ic. ac. uk, file named …, 1992
161992
Propositional equality, identity types, and direct computational paths
RJGB de Queiroz, AG de Oliveira
arXiv preprint arXiv:1107.1901, 2011
132011
The functional interpretation of modal necessity
RJGB De Queiroz, DM Gabbay
Advances in Intensional Logic, 61-91, 1997
131997
Normalisation and Language‐Games1
RJGB de Queiroz
Dialectica 48 (2), 83-123, 1994
131994
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
122011
On reduction rules, meaning-as-use, and proof-theoretic semantics
RJGB De Queiroz
Studia Logica 90 (2), 211-247, 2008
122008
The system can't perform the operation now. Try again later.
Articles 1–20