62 found
Order:
  1.  47
    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.
  2.  19
    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  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  68
    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   3 citations  
  4.  22
    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   3 citations  
  5.  31
    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  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  29
    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.  17
    Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  8.  16
    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.  14
    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.
  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. Normalisation and Languages-Games.Ruy J. G. B. de Queiroz - 1994 - Dialectica 48 (2):83-123.
     
    Export citation  
     
    Bookmark   2 citations  
  12. 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.
  13.  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  
  14.  42
    Second Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
  15.  37
    12th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (4):558-559.
  16.  41
    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).
  17.  34
    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.
  18.  16
    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  
  19. Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria Correa Vaz De Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel M. Leivant & Anjolina G. De Oliveira - 2015 - Springer.
  20. Conferences.Ruy B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (3):473-527.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Conference Report: Logic for Concurrency and Synchronisation (LOCUS).Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):659-663.
  22. Conference Report: Logic, Proofs and Algorithms.Ruy Jgb de Queiroz & Kátia Silva Guimaraes - 1998 - Logic Journal of the IGPL 6 (4):656-657.
  23. Conference Report: Logic in Natural Language.Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):657-658.
  24. 12th Workshop on Logic, Language, Information and Computation, Florianópolis, Brasil, 19 a 22 de Julho de 2005.Ruy J. G. B. de Queiroz, Angus Macintyre & Guilherme Bittencourt (eds.) - 2005 - [S.N.].
     
    Export citation  
     
    Bookmark  
  25. Logic, Language, Information and Computation: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings. [REVIEW]Wilfrid Hodges & Ruy de Queiroz (eds.) - 2008 - Berlin and New York: Springer.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541.Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.) - 2019 - Springer.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Logic, Language, Information, and Computation.Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.) - 2019 - Folli Publications on Logic, Language and Information.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071).Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.) - 2013 - Springer.
  29.  1
    Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. [REVIEW]Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.) - 2021 - Springer Verlag.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  36
    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.
  31.  31
    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.
  32.  15
    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  
  33.  16
    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  
  34.  21
    11th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (1):120-121.
  35.  21
    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.
  36.  20
    Conferences.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (3):473-527.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  20
    5th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
  38.  22
    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.
  39.  21
    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.
  40.  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  
  41.  18
    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.
  42.  18
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  18
    Logic, Language, Information and Computation.Ruy de Queiroz & Angus Macintyre - 2008 - Annals of Pure and Applied Logic 152 (1):1-2.
  44.  18
    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  
  45.  16
    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.
  46.  4
    ∞-Groupoid Generated by an Arbitrary Topological Λ-Model.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Logic Journal of the IGPL 30 (3):465-488.
    The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  15
    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  
  48.  14
    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.
  49.  11
    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.
  50.  11
    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  
1 — 50 / 62