Ruy J. Guerra B. de Queiroz

Book Chapters
de Queiroz, R. & de Oliveira, A.: 200?, `Natural Deduction for Equality: The Missing Entity'. In Advances in Natural Deduction, E. H. Haeusler, L. C. Pereira & V. de Paiva (eds.), Kluwer, to appear.

de Oliveira, A. & de Queiroz, R.: 2005, `A New Basic Set of Proof Transformations'. In We Will Show Them! Essays in Honour of Dov Gabbay. Volume 2, S. Artemov, H. Barringer, A. Garcez, L. Lamb and J. Woods (eds.), College Publications, London, ISBN 1904987125, October 2005, pp. 499-528.

de Oliveira, A. & de Queiroz, R.: 2003, `Geometry of Deduction via Graphs of Proof'. In Logic for Concurrency and Synchronisation, R. de Queiroz (ed.), volume 18 of the Trends in Logic series, Kluwer Acad. Pub., Dordrecht, July 2003, ISBN 1-4020-1270-5, pp. 3-88.

de Queiroz, R. & Gabbay, D.: 1999, `Labelled Natural Deduction'. In Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, H.J. Ohlbach and U. Reyle (eds.), volume 5 of Trends in Logic series, Kluwer Academic Publishers, Dordrecht, June 1999, pp. 173-250.

de Queiroz, R. & Gabbay, D.: 1997, `The Functional Interpretation of Modal Necessity'. In Advances in Intensional Logic, Maarten de Rijke (ed.), volume 7 of Applied Logic series, Kluwer Academic Publishers, September 1997, pp. 61-91.

Journal Papers
Alves, Gleifer V., de Oliveira, Anjolina, de Queiroz, Ruy J.G.B.: 2011, `Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property'. In Fundamenta Informaticae (IOS Press, ISSN 0169-2968) 106(2-4):119-147, 2011.

de Queiroz, Ruy J.G.B., de Oliveira, Anjolina G.: 2011, `The Functional Interpretation of Direct Computations'. In Electronic Notes in Theoretical Computer Science (Elsevier, ISSN 1571-0661) 269:19-40, April 2011.

de Queiroz, Ruy J.G.B.: 2008, `On reduction rules, meaning-as-use, and proof-theoretic semantics'. In Studia Logica (Springer, ISSN 0039-3215) 90(2):211-247, November 2008.

Pontual, M., Feitosa, D., Vanderlei, I., Valadares, F., de Queiroz, R., Barros, R., Winsborough, W.H.: 2006, `A framework for private statistics between two participants', Scientia (ISSN 0104-1770), 17(2): 58-66, July/December 2006.

Benatti, H. & de Queiroz, R.: 2006, `On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs'. Bulletin of the Section of Logic (ISSN 0138-0680), Volume 35, Number 4, pp. 195-214, 2006.

Lewitzka, S. & de Queiroz, R.: 2005, `On Dividing Chains in Simple Theories'. Archive for Mathematical Logic, 44(7):897-911, October 2005, ISSN 0933-5846, Springer.

Benatti, H. & de Queiroz, R.: 2005, `Descriptive Complexity of Modularity Problems on Graphs'. Bulletin of the Section of Logic (ISSN 0138-0680), Volume 34, Number 2, pp. 61-76, 2005.

de Queiroz, R.: 2001, `Meaning, function, purpose, usefulness, consequences - interconnected concepts'. Logic Journal of the Interest Group in Pure and Applied Logics, 9(5):693-734, September 2001, Oxford Univ. Press.

de Oliveira, A. & de Queiroz, R.: 2000, `Splitting and Sequentialization for Proof Graphs', submitted for publication.

de Oliveira, A. & de Queiroz, R.: 1999, `A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction'. Logic Journal of the Interest Group in Pure and Applied Logics, 7(2):173-215, 1999, Oxford Univ. Press. Full version of a paper presented at 2nd WoLLIC'95, Recife, Brazil, July 1995. Abstract appeared in Journal of the Interest Group in Pure and Applied Logics 4(2):330-332, 1996.

de Queiroz, R. & Gabbay, D.: 1995, `The Functional Interpretation of the Existential Quantifier', in Bulletin of the Interest Group in Pure and Applied Logics 3(2-3):243-290, 1995. (Special Issue on Deduction and Language, Guest Editor: Ruth Kempson). Full version of a paper presented at Logic Colloquium '91, Uppsala. Abstract in JSL 58(2):753-754, 1993.

de Queiroz, R.: 1994, `Normalisation and Language-Games'. In Dialectica 48(2):83-123, 1994. (Early version presented at Logic Colloquium '88, Padova. Abstract in JSL 55:425, 1990.)

Gabbay, D. & de Queiroz, R.: 1992, `Extending the Curry-Howard interpretation to linear, relevant and other resource logics', in Journal of Symbolic Logic 57(4):1319-1365. Paper presented at Logic Colloquium '90, Helsinki. Abstract in JSL 56(3):1139-1140, 1991.

de Queiroz, R.: 1991, `Meaning as grammar plus consequences', in Dialectica 45(1):83-86.

de Queiroz, R. & Maibaum, T.: 1991, `Abstract Data Types and Type Theory: Theories as Types', in Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37:149-166.

de Queiroz, R. & Maibaum, T.: 1990, `Proof Theory and Computer Programming', in Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36:389-414.

de Queiroz, R.: 1988, `A Proof-Theoretic Account of Programming and the Rôle of Reduction Rules', in Dialectica 42(4):265-282.

Proceedings
Alves, G. V., de Oliveira, A. G., de Queiroz, R. J. G. B.: 2009, Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. In Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, LNCS 5514, Springer, June 2009, pp.84-98.

Ribeiro, Leonardo, Guerra, Ruy: 2009, `Safe Reverse Auctions Protocol - Adding Treatment Against Collusive Shill Bidding and Sniping Attacks', In Eduardo Fernández-Medina, Manu Malek, Javier Hernando (Eds.) SECRYPT 2009, Proceedings of the International Conference on Security and Cryptography, Milan, Italy, July 7-10, 2009, pp. 239-244.

Riccio, N.C.R. and de Queiroz, R.J.G.B.: 1995, `Abductive Reasoning via Labelled Deductive Systems'. In Advances in Artificial Intelligence, SBIA '95, A. Carvalho & J. Wainer (eds.), Campinas, Oct 1995, Lecture Notes in Artificial Intelligence, Vol. 991, Springer-Verlag, pp. 91--100.

Martins, A.T.C. & de Queiroz, R.J.G.B.: 1994, `Using Labels in a Paraconsistent and Nonmonotonic Sequent Calculus. In Conferęncia Latinoamericana de Informática, 20, Atizapan de Zaragoza, September 19-23, 1994. pp. 795-802.

de Queiroz, R. & Gabbay, D.: 1994, `Equality in Labelled Deductive Systems and the Functional Interpretation of Propositional Equality'. In Proceedings of the Ninth Amsterdam Colloquium, Paul Dekker & Martin Stokhof (eds.), ILLC/Department of Philosophy, University of Amsterdam, 1994, pp. 547-565.

de Queiroz, R. & Gabbay, D.: 1992, `An introduction to labelled natural deduction', constituting the basis for a series of lectures given in the Third Advanced Summer Schoool in Artificial Intelligence, Azores, September 21-25 1992. It also constitutes a condensed (and still in need of polishing) draft of a proposal for a book (provisionally) entitled `The Functional Interpretation of Non-Classical Logics'.

de Queiroz, R.: 1989, `The mathematical language and its semantics: to show the consequences of a proposition is to give its meaning'. In Weingartner, Paul and Schurz, Gerhard, editors, Reports of the Thirteenth International Wittgenstein Symposium 1988, volume 18 of Schriftenreihe der Wittgenstein-Gesellschaft, Vienna, 304pp. Hölder-Pichler-Tempsky, pp. 259-266. Symposium held in Kirchberg/Wechsel, Austria, August 14-21 1988.

Abstracts
Alves, G. V., de Oliveira, A. G. & de Queiroz, R.: 2005, `Towards normalization for proof-graphs' (abstract), in Bulletin of Symbolic Logic 11(2):302-303, June 2005. Paper presented "by title" in Logic Colloquium '04, Torino, Italy, July 2005.

de Oliveira, A. & de Queiroz, R.: 1999, ` A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction' (abstract), in Journal of the Interest Group in Pure and Applied Logics 4(2):330-332, 1996. Paper presented at 2nd WoLLIC'95, Recife, Brazil, July 1995. Full paper in Logic Journal of the Interest Group in Pure and Applied Logics, 7(2):173-215, 1999, Oxford Univ. Press.

de Oliveira, A. & de Queiroz, R.: 1997, `A New Basic Set of Proof Transformations' (abstract), in Bulletin of Symbolic Logic 3(1):124-126, March 1997. Paper presented "by title" in Logic Colloquium '95, Haifa, Israel, August 1995. Posted in the types list on May 12th, 1995.

Duran, A. & de Queiroz, R.: 1995, `Games for Labelled Deduction' (abstract), in Abstracts of the 10th International Congress for Logic, Methodology and Philosophy of Science, Florence, August 1995, pp. 104-105.

de Queiroz, R. & Gabbay, D.: 1993, `The Functional Interpretation of the Existential Quantifier' (abstract), in Journal of Symbolic Logic 58(2):753-754, 1993. Paper presented at Logic Colloquium '91, Uppsala.

de Queiroz, R.: 1992, `Grundgesetze alongside Begriffsschrift' (abstract), accepted for presentation in the 15th International Wittgenstein Symposium (Philosophy of Mathematics), Kirchberg, August 16-23 1992, which I was regrettably unable to attend. (It appears in the Abstracts of the Symposium, pp. 15-6, and the full paper is still in preparation.)

Gabbay, D. & de Queiroz, R.: 1991, `Extending the Curry-Howard interpretation to linear, relevant and other resource logics' (abstract), in Journal of Symbolic Logic 56(3):1139-1140. Paper presented at Logic Colloquium '90, Helsinki. Full paper in JSL 57(4):1319-1365, 1992.

de Queiroz, R.: 1990, `Normalisation and the semantics of use' (abstract), Journal of Symbolic Logic 55:425. Abstract of a paper presented at Logic Colloquium '88 held in Padova, Italy, August 23-30 1988.

de Queiroz, R.: 1989, `Meaning, function, purpose, usefulness, consequences - interconnected concepts' (abstract). In Abstracts of Fourteenth International Wittgenstein Symposium (Centenary Celebration). p.20. Symposium held in Kirchberg/Wechsel, August 13-20 1989. Full paper accepted for publication in Studia Logica, but finally published in Logic Journal of the Interest Group in Pure and Applied Logics, 9(5):693-734, September 2001, Oxford Univ. Press.