×

zbMATH — the first resource for mathematics

De Queiroz, Ruy José Guerra Barretto

Compute Distance To:
Author ID: de-queiroz.ruy-jose-guerra-barretto Recent zbMATH articles by "De Queiroz, Ruy José Guerra Barretto"
Published as: de Queiroz, Ruy J. G. B.; de Queiroz, Ruy; De Queiroz, Ruy; de Queiroz, R.; De Queiroz, Ruy José Guerra Barretto
Documents Indexed: 79 Publications since 1990, including 23 Books

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 31 times in 14 Documents Cited by Year
Extending the Curry-Howard interpretation to linear, relevant and other resource logics. Zbl 0765.03005
Gabbay, Dov M.; de Queiroz, Ruy J. G. B.
4
1992
The functional interpretation of modal necessity. Zbl 0911.03012
de Queiroz, Ruy J. G. B.; Gabbay, Dov M.
3
1997
Natural deduction for equality: the missing entity. Zbl 1339.03052
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
2
2014
Proof theory and computer programming. Zbl 0691.03042
de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E.
2
1990
The functional interpretation of the existential quantifier. Zbl 0831.03002
de Queiroz, Ruy J. G. B.; Gabbay, Dov M.
2
1995
Labelled natural deduction. Zbl 0954.03008
de Queiroz, Ruy J. G. B.; Gabbay, Dov M.
2
1999
A normalization procedure for the equational fragment of labelled natural deduction. Zbl 0923.03064
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
1999
Meaning, function, purpose, usefulness, consequences – interconnected concepts. Zbl 0989.03006
de Queiroz, Ruy J. G. B.
2
2001
The functional interpretation of logical deduction. Zbl 1248.03003
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.; Gabbay, Dov M.
2
2012
Geometry of deduction via graphs of proofs. Zbl 1036.03038
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
2003
A new basic set of transformations between proofs. Zbl 1272.03153
de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.
2
2005
Abstract data types and type theory: Theories as types. Zbl 0701.68078
de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E.
1
1991
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
Sequentialization for \(n\)-graphs via sub-\(n\)-graphs. Zbl 1430.03072
Carvalho, Ruan; Andrade, Laís; de Oliveira, Anjolina; de Queiroz, Ruy
1
2014
On the formalization of some results of context-free language theory. Zbl 06625896
Ramos, Marcus Vinícius Midena; de Queiroz, Ruy J. G. B.; Moreira, Nelma; Bacelar Almeida, José Carlos
1
2016
Proof-graphs: a thorough cycle treatment, normalization and subformula property. Zbl 1252.03126
Alves, Gleifer V.; de Oliveira, Anjolina G.; de Queiroz, Ruy
1
2011
On reduction rules, meaning-as-use, and proof-theoretic semantics. Zbl 1162.03008
de Queiroz, Ruy J. G. B.
1
2008
On the formalization of some results of context-free language theory. Zbl 06625896
Ramos, Marcus Vinícius Midena; de Queiroz, Ruy J. G. B.; Moreira, Nelma; Bacelar Almeida, José Carlos
1
2016
Natural deduction for equality: the missing entity. Zbl 1339.03052
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
2
2014
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
Sequentialization for \(n\)-graphs via sub-\(n\)-graphs. Zbl 1430.03072
Carvalho, Ruan; Andrade, Laís; de Oliveira, Anjolina; de Queiroz, Ruy
1
2014
The functional interpretation of logical deduction. Zbl 1248.03003
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.; Gabbay, Dov M.
2
2012
Proof-graphs: a thorough cycle treatment, normalization and subformula property. Zbl 1252.03126
Alves, Gleifer V.; de Oliveira, Anjolina G.; de Queiroz, Ruy
1
2011
On reduction rules, meaning-as-use, and proof-theoretic semantics. Zbl 1162.03008
de Queiroz, Ruy J. G. B.
1
2008
A new basic set of transformations between proofs. Zbl 1272.03153
de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.
2
2005
Geometry of deduction via graphs of proofs. Zbl 1036.03038
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
2003
Meaning, function, purpose, usefulness, consequences – interconnected concepts. Zbl 0989.03006
de Queiroz, Ruy J. G. B.
2
2001
Labelled natural deduction. Zbl 0954.03008
de Queiroz, Ruy J. G. B.; Gabbay, Dov M.
2
1999
A normalization procedure for the equational fragment of labelled natural deduction. Zbl 0923.03064
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
1999
The functional interpretation of modal necessity. Zbl 0911.03012
de Queiroz, Ruy J. G. B.; Gabbay, Dov M.
3
1997
The functional interpretation of the existential quantifier. Zbl 0831.03002
de Queiroz, Ruy J. G. B.; Gabbay, Dov M.
2
1995
Extending the Curry-Howard interpretation to linear, relevant and other resource logics. Zbl 0765.03005
Gabbay, Dov M.; de Queiroz, Ruy J. G. B.
4
1992
Abstract data types and type theory: Theories as types. Zbl 0701.68078
de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E.
1
1991
Proof theory and computer programming. Zbl 0691.03042
de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E.
2
1990

Citations by Year