68 found
Order:
  1.  15
    ∞-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.  8
    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.  6
    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.  10
    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.  10
    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.  21
    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   4 citations  
  7.  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   5 citations  
  8.  5
    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   4 citations  
  9.  5
    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.  3
    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   4 citations  
  11.  3
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  12.  3
    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.
  13.  3
    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.
  14.  2
    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  
  15.  7
    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  
  16.  6
    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  
  17. Normalisation and languages-games.Ruy J. G. B. de Queiroz - 1994 - Dialectica 48 (2):83-123.
     
    Export citation  
     
    Bookmark   2 citations  
  18.  2
    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.
  19.  13
    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  
  20.  3
    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  
  21.  8
    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.
  22.  5
    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.
  23.  2
    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  
  24.  8
    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  
  25.  1
    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.
  26.  4
    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).
  27.  4
    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  
  28.  4
    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  
  29.  2
    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. Conferences.Ruy B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (3):473-527.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Conference Report: Logic for Concurrency and Synchronisation (LOCUS).Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):659-663.
  32. Conference Report: Logic, Proofs and Algorithms.Ruy Jgb de Queiroz & Kátia Silva Guimaraes - 1998 - Logic Journal of the IGPL 6 (4):656-657.
  33. Conference Report: Logic in Natural Language.Ruy Jgb de Queiroz - 1998 - Logic Journal of the IGPL 6 (4):657-658.
  34.  1
    Editorial.Ruy B. de Queiroz - 1995 - Logic Journal of the IGPL 3 (4):532-533.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  9
    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.
  36.  2
    Fourth Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 1997 - Logic Journal of the IGPL 5 (6):859-927.
  37.  2
    Logic, language, information and computation.Ruy de Queiroz & Angus Macintyre - 2008 - Annals of Pure and Applied Logic 152 (1):1-2.
  38.  1
    Second Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
  39.  10
    Second Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1996 - Logic Journal of the IGPL 4 (2):309-344.
  40.  12
    8th Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):739-754.
  41.  6
    12th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (4):558-559.
  42.  5
    8th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2002 - Bulletin of Symbolic Logic 8 (2):319-320.
  43.  23
    11th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 2005 - Bulletin of Symbolic Logic 11 (1):120-121.
  44.  3
    5th Workshop on Logic, Language, Information and Computation.Ruy J. G. B. de Queiroz - 1999 - Bulletin of Symbolic Logic 5 (3):422-423.
  45. 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  
  46.  1
    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.
  47.  3
    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.
  48.  1
    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.
  49.  1
    Editorial.Dov Gabbay, Hans Ohlbach & Ruy de Queiroz - 1995 - Logic Journal of the IGPL 3 (1):4-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    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  
1 — 50 / 68