67 found
Order:
Disambiguations
Ruy J. G. B. de Queiroz [28]Ruy de Queiroz [15]Ruy B. de Queiroz [8]R. J. G. B. de Queiroz [6]
Ruy Jgb de Queiroz [5]Rjgb de Queiroz [3]R. de Queiroz [3]Ruy J. B. de Queiroz [2]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  10
    Intuitionistic N-Graphs.M. Quispe-Cruz, A. G. de Oliveira, R. J. G. B. de Queiroz & V. de Paiva - 2014 - Logic Journal of the IGPL 22 (2):274-285.
  2.  17
    A Proof‐Theoretic Account of Programming and the Role of Reduction Rules.Ruy J. G. B. de Queiroz - 1988 - Dialectica 42 (4):265-282.
    SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3. 10th Workshop on Logic, Language, Information and Computation (WoLLIC '2003): Co-Sponsored by the Association for Symbolic Logic, Ouro Preto (Minas Gerais), Brazil July 29-August 1, 2003. [REVIEW]Ruy J. G. B. de Queiroz - 2004 - Bulletin of Symbolic Logic 10 (2):295-296.
  4.  43
    Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.
  5.  29
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  28
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  7.  1
    A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction.A. de Oliveira & R. B. de Queiroz - 1999 - Logic Journal of the IGPL 7 (2):173-215.
    The notion of normal proof theory, and yet it has been somewhat neglected by the systems of equational logic. The intention here is then to show the normalization procedure for the equational logic of the Labelled Natural Deduction system . With this we believe we are making a step towards filling a gap in the literature on equational logic. Besides presenting a normalization procedure for the LND equational fragment, we employ a new method to prove the normalization theorems for equational (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  11
    The Functional Interpretation of the Existential Quantifier.Ruy B. de Queiroz & Dov Gabbay - 1995 - Logic Journal of the IGPL 3 (2-3):243-290.
    We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  63
    On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
    The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  7
    The Functional Interpretation of the Existential Quantifier.Ruy J. G. B. de Queiroz & Dov M. Gabbay - 1995 - Logic Journal of the IGPL 3 (2-3):243-290.
  11.  15
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  12.  12
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
  13.  11
    19th Workshop on Logic, Language, Information and Computation.Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - 2013 - Bulletin of Symbolic Logic 19 (3):425-426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
    The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett-Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i. e. the so-called reduction rules. For that we suggest an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  8
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. B. de Queiroz - 1991 - Mathematical Logic Quarterly 37 (9-12):149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  35
    12th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (4):558-559.
  17.  33
    Second Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
  18.  30
    9th Workshop on Logic, Language, Information and Computation.Rio de Janeiro & Ruy J. G. B. de Queiroz - 2003 - Bulletin of Symbolic Logic 9 (1):121-122.
  19.  12
    Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts.Ruy B. de Queiroz - 2001 - Logic Journal of the Igpl 9 (5):693-734.
    Further to the connections between meaning and use, it seems useful to consider the consequences one is allowed to draw from a proposition as something directly related to its meaning/use. And indeed, Wittgenstein's references to the connections between meaning and the consequences, as well as between use and consequences are sometimes as explicit as his celebrated ‘definition’ of meaning as use given in the Investigations. Here we attempt to collect some of these references, discussing how an intuitive basis for the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Normalisation and Languages-Games.Ruy J. G. B. de Queiroz - 1994 - Dialectica 48 (2):83-123.
     
    Export citation  
     
    Bookmark   2 citations  
  21.  3
    Proof Theory and Computer Programming.Ruy J. B. de Queiroz & Thomas Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  11
    Propositional Intuitionistic Multiple-Conclusion Calculus Via Proof Graphs.Ruan V. B. Carvalho, Anjolina G. de Oliveira & Ruy J. G. B. de Queiroz - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts.R. J. G. B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):693-734.
  24.  29
    Descriptive Complexity of Modularity Problems on Graphs.Haroldo G. Benatti & Ruy Jgb de Queiroz - 2005 - Bulletin of the Section of Logic 34 (2):61-75.
  25.  34
    Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001).Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
  26.  12
    23rd Workshop on Logic, Language, Information and Computation.Jouko Väänänen, Ruy de Queiroz, Mauricio Osorio Galindo, Claudia Zepeda Cortés & José R. Arrazola Ramírez - 2017 - Logic Journal of the IGPL 25 (2):253-272.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  20
    11th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (1):120-121.
  28.  17
    21st Workshop on Logic, Language, Information and Computation.Ulrich Kohlenbach, Pablo Barceló & Ruy de Queiroz - 2015 - Logic Journal of the IGPL 23 (5):848-859.
  29.  16
    Conferences.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (3):473-527.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  15
    5th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
  31.  17
    5th Workshop on Logic, Language, Information and Computation (Wollic'98).Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
  32.  17
    On the Descriptive Complexity of Two Disjoint Paths Problem Over Undirected Graphs.Haroldo G. Benatti & Ruy Jgb de Queiroz - 2006 - Bulletin of the Section of Logic 35 (4):195-214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  16
    On Dividing Chains in Simple Theories.Steffen Lewitzka & Ruy J. G. B. De Queiroz - 2005 - Archive for Mathematical Logic 44 (7):897-911.
    Dividing chains have been used as conditions to isolate adequate subclasses of simple theories. In the first part of this paper we present an introduction to the area. We give an overview on fundamental notions and present proofs of some of the basic and well-known facts related to dividing chains in simple theories. In the second part we discuss various characterizations of the subclass of low theories. Our main theorem generalizes and slightly extends a well-known fact about the connection between (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  16
    Logic, Language, Information and Computation.Ruy de Queiroz & Angus Macintyre - 2008 - Annals of Pure and Applied Logic 152 (1):1-2.
  35. Lei anticorrupção tem como desafio trazer jogo limpo para O Mercado.Ronaldo Pinheiro de Queiroz - 2016 - Revista Fides 7 (1).
    LEI ANTICORRUPÇÃO TEM COMO DESAFIO TRAZER JOGO LIMPO PARA O MERCADO.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  14
    Conferences.Ruy de Queiroz, Angus Macintyre & Guilherme Bittencourt - 2005 - Logic Journal of the IGPL 13 (6):729-737.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  13
    7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000).Ruy J. G. B. de Queiroz - 2001 - Bulletin of Symbolic Logic 7 (2):293-294.
  38.  13
    3rd Workshop on Logic, Language, Information and Computation (Wollic'96).Ruy J. G. B. de Queiroz - 1996 - Bulletin of Symbolic Logic 2 (3):374-374.
  39.  12
    Philadelphia, PA, USA May 18–20, 2011.Anjolina G. de Oliveira, Ruy de Queiroz, Rajeev Alur, Max Kanovich, John Mitchell, Vladimir Voevodsky, Yoad Winter & Michael Zakharyaschev - 2012 - Bulletin of Symbolic Logic 18 (1).
  40.  12
    9th Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz, Luiz Pereira & Edward Haeusler - 2002 - Logic Journal of the IGPL 10 (6):679-688.
  41.  11
    6th Workshop on Logic, Language, Information and Computation (Wollic'99).Ruy J. G. B. de Queiroz & Walter Carnielli - 1999 - Bulletin of Symbolic Logic 5 (3):424-425.
  42.  10
    18th Workshop on Logic, Language, Information and Computation (Wollic 2011).Lev Beklemishev, Ruy de Queiroz & Andre Scedrov - 2012 - Bulletin of Symbolic Logic 18 (1):152-153.
  43.  9
    8th Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):739-754.
  44.  8
    The Bulletin Turned Into a Journal.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1995 - Logic Journal of the IGPL 3 (5):682-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  5
    Interest Group in Pure and Applied Logics.Dov Gabbay, Ruy de Queiroz & Hans Ohlbach - 1995 - Logic Journal of the IGPL 3 (1):151-152.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  5
    8th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
  47.  6
    Fourth Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 1997 - Logic Journal of the IGPL 5 (6):859-927.
  48.  6
    Second Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
  49.  6
    Speed with Quality.Dov Gabbay & Ruy de Queiroz - 1994 - Logic Journal of the IGPL 2 (1):1-2.
  50.  6
    Thorough Refereeing.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1994 - Logic Journal of the IGPL 2 (2):135-136.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 67