47 found
Order:
  1.  22
    ∞-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   3 citations  
  2.  18
    Towards a homotopy domain theory.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Archive for Mathematical Logic 62 (3):559-579.
    An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  14
    The Theory of an Arbitrary Higher \(\lambda\)-Model.Daniel Martinez & Ruy J. G. B. de Queiroz - 2023 - Bulletin of the Section of Logic 52 (1):39-58.
    One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  77
    (1 other version)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.  31
    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 (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  97
    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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  32
    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   5 citations  
  8.  16
    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.
  9.  27
    (1 other version)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.  28
    (1 other version)Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  11.  16
    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   3 citations  
  12.  15
    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   3 citations  
  13.  21
    From Tractatus to Later Writings and Back – New Implications from Wittgenstein’s Nachlass.Ruy J. G. B. de Queiroz - 2023 - SATS 24 (2):167-203.
    As a celebration of theTractatus100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that “everyone is aware of the holistic character of Wittgenstein’s later philosophy, but it is not so well known that it was already beginning to establish itself in theTractatus” (The False Prison, 1987). From the latter to the former, Stephen Hilmy’s (The Later Wittgenstein, 1987) extensive study of theNachlasshas helped removing classical misconceptions such as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    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   2 citations  
  15. Normalisation and languages-games.Ruy J. G. B. de Queiroz - 1994 - Dialectica 48 (2):83-123.
     
    Export citation  
     
    Bookmark   2 citations  
  16.  25
    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  
  17.  37
    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.
  18.  26
    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  
  19.  31
    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  
  20.  32
    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.
  21.  48
    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).
  22.  7
    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 de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. De Oliveira - 2015 - Springer.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  27
    (3 other versions)Conferences.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (3):473-527.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Conference Report: Logic for Concurrency and Synchronisation (LOCUS).Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):659-663.
  25. Conference Report: Logic, Proofs and Algorithms.Ruy Jgb de Queiroz & Kátia Silva Guimaraes - 1998 - Logic Journal of the IGPL 6 (4):656-657.
  26. Conference Report: Logic in Natural Language.Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):657-658.
  27.  13
    Editorial.Ruy B. de Queiroz - 1995 - Logic Journal of the IGPL 3 (4):532-533.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  30
    Logic, language, information and computation.Ruy de Queiroz & Angus Macintyre - 2008 - Annals of Pure and Applied Logic 152 (1):1-2.
  29. 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 - Florianópolis, SC, Brasil: [S.N.].
     
    Export citation  
     
    Bookmark  
  30.  29
    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.
  31.  8
    Editorial.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1995 - Logic Journal of the IGPL 3 (1):4-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  14
    Speed with Quality.Dov Gabbay & Ruy de Queiroz - 1994 - Logic Journal of the IGPL 2 (1):1-2.
  33.  23
    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  
  34.  14
    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  
  35. 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
     
    Export citation  
     
    Bookmark  
  36. 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  
  37.  12
    24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017.Juliette Kennedy & Ruy de Queiroz - 2021 - Archive for Mathematical Logic 60 (5):525-527.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  34
    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.
  39.  31
    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  
  40. Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071).Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.) - 2013 - Springer.
  41.  18
    25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.Lawrence Moss & Ruy de Queiroz - 2022 - Journal of Logic, Language and Information 31 (4):525-527.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    (32 other versions)19th workshop on logic, language, information and computation (wollic 2012).Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Luke Ong, Carlos Areces, Santiago Figueira and Ruy de Queiroz The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 425-426, September 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. 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.
  44.  28
    Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings.Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.) - 2023 - Springer Nature Switzerland.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023. The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Logic, Language, Information and Computation: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings.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  
  46. Logic, language, information, and computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013: proceedings.Leonid Libkin, U. Kohlenbach & Ruy J. G. B. de Queiroz (eds.) - 2013 - New York: Springer.
     
    Export citation  
     
    Bookmark  
  47.  25
    Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings.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