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 logics
DM Gabbay, RJGB De Queiroz
Journal of Symbolic Logic, 1319-1365, 1992
881992
Model theory
M Manzano, TLM Manzano
Oxford University Press, 1999
511999
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
221994
The functional interpretation of the existential quantifier
RJGB de Queiroz, DM Gabbay
Oxford University Press 3 (2-3), 243-290, 1995
211995
Logical information theory: new logical foundations for information theory
D Ellerman
Logic Journal of the IGPL 25 (5), 806-835, 2017
202017
The functional interpretation of logical deduction
RJGB de Queiroz, AG de Oliveira, DM Gabbay
World Scientific, 2012
192012
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
191999
A Proof‐Theoretic Account of Programming and the Role of Reduction Rules
RJGB De Queiroz
Dialectica 42 (4), 265-282, 1988
181988
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
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
161994
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
152013
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
152012
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
151992
Natural deduction for equality: The missing entity
RJGB de Queiroz, AG de Oliveira
Advances in Natural Deduction, 63-91, 2014
142014
The functional interpretation of modal necessity
RJGB De Queiroz, DM Gabbay
Advances in Intensional Logic, 61-91, 1997
131997
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
Normalisation and Language‐Games1
RJGB de Queiroz
Dialectica 48 (2), 83-123, 1994
121994
Proof Theory and Computer Programming: The Logical Foundations of Computation
RJGB De Queiroz
Imperial College of Science technology and medicine, University of London …, 1990
121990
The system can't perform the operation now. Try again later.
Articles 1–20