Ruy de Queiroz

[Ruy de Queiroz @ruydequeiroz]

"We have heard from the referees, and their reports are attached below.   The editors are happy to follow their recommendation and accept your paper for publication, subject to referee 2's minor corrections being made." (paper by D.Martinez-Rivillas, A.Ramos, and myself).

[Ruy de Queiroz @ruydequeiroz]

"Dear Arthur 
I am writing regarding your revised JLC submission 'Recursive Completion in Higher lambda-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model',  ..."

[Ruy de Queiroz @ruydequeiroz]

Published yesterday: Ramos, A. F., de Queiroz, R., de Oliveira, A., & Gabbay, D. Computational Paths - The Calculus of Equality. Vol. 117 of Mathematical logic and foundations subseries of Studies in Logic. College Publ., May 2026. ISBN 978-1-84890-515-3. https://t.co/MM1OSB87rA

[Ruy de Queiroz @ruydequeiroz]

Paper published in digital form: The K∞ homotopy λ-model, Daniel O MartÍnez-Rivillas, Ruy JGB de Queiroz
Logic Journal of the IGPL, Volume 34, Issue 3, June 2026, jzag021,
https://t.co/AmV4zafI3K
Published: 29 April 2026

[Ruy de Queiroz @ruydequeiroz]

Excellent news from the Logic Journal of the IGPL: "They would like to accept your paper subject to you implementing all the referee's suggestions in the final version." This concerns the paper "The K∞ Homotopy λ-Model" which came out of Daniel O. Martínez-Rivillas' PhD thesis.

[Ruy de Queiroz @ruydequeiroz]

"Congratulations, we are pleased to inform you that your latest publication is now available on https://t.co/7iPLGFw1UT". "Meaning as Use, Application, Employment, Purpose, Usefulness" DOI 10.1515/sats-2025-0002

[Ruy de Queiroz @ruydequeiroz]

Great! Wonderful! Just arrived from the Editor of "SATS: Northern European Journal of Philosophy": "It is a pleasure to accept your manuscript entitled "Meaning as Use, Application, Employment, Purpose, Usefulness" in its current form for publication in SATS."

[Ruy de Queiroz @ruydequeiroz]

Preprint available: https://t.co/6PKveupDYF

[Ruy de Queiroz @ruydequeiroz]

Preprint https://t.co/TzdmmiEJ58

[Ruy de Queiroz @ruydequeiroz]

de Queiroz, Ruy J.G.B.. "From the Notebooks to the Investigations and Beyond" SATS, vol. 26, no. 1, 2025, pp. 61-113. https://t.co/lnR1HKrHjV

[Ruy de Queiroz @ruydequeiroz]

Excellent news from "SATS: Northern European Journal of Philosophy" on "From the Notebooks to the Investigations and Beyond": "Your manuscript has been reviewed and requires modifications prior to acceptance."

[Ruy de Queiroz @ruydequeiroz]

"Congratulations, we are pleased to inform you that your latest publication is now available on https://t.co/7iPLGFw1UT : From the Notebooks to the Investigations and Beyond, https://t.co/3Yqo3Xf74r "

[Ruy de Queiroz @ruydequeiroz]

Nice to present "Explanation of Consequences via Movements within Language" https://t.co/2Y0HY8fyNd at "VIII Conferência da Sociedade Brasileira de Filosofia Analítica (SBFA, 2024)", Olinda, 22-26 Jul 2024. Thanks to Marcos Silva for the kind invitation!

[Ruy de Queiroz @ruydequeiroz]

Good to see it published in "Advance Access": "A Topological Application of Labelled Natural Deduction",
Tiago M. L. de Veras, Arthur F. Ramos, R. J. G. B. de Q. and Anjolina G. de Oliveira. https://t.co/DHdQ9dFqpk

[Ruy de Queiroz @ruydequeiroz]

Published in digital form: https://t.co/pt0WnfaTkZ

[Ruy de Queiroz @ruydequeiroz]

Great news!: "The referee and the editors have now accepted this version of your paper, and have accepted it for publication" ("Computational Paths - A Weak Groupoid", T. de Veras, A. Ramos, R. de Queiroz, A. de Oliveira)

[Ruy de Queiroz @ruydequeiroz]

Published in print (2023 · Volume 24 · number 2): https://t.co/UfNPQhP5iI

[Ruy de Queiroz @ruydequeiroz]

Truly humbling: "Accept for publication" "this paper is entirely lucid, very carefully articulated and documented, very important – also well beyond those sources and topics expressly discussed and altogether convincing (persuasive)."

[Ruy de Queiroz @ruydequeiroz]

Published today in digital form: https://t.co/WEqh7B4989