×

zbMATH — the first resource for mathematics

Pinto, Luís F.

Compute Distance To:
Author ID: pinto.luis-f Recent zbMATH articles by "Pinto, Luís F."
Published as: Pinto, Luis; Pinto, Luís; Pinto, Luís F.
Documents Indexed: 18 Publications since 1995

Co-Authors

0 single-authored
1 Lemos, João Miranda

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 32 times in 25 Documents Cited by Year
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062
Dyckhoff, Roy; Pinto, Luis
9
1998
Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002
Pinto, Luis; Dyckhoff, Roy
8
1995
Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110
Dyckhoff, Roy; Pinto, Luís
7
1999
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
2
2007
Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion. Zbl 07261186
Pinto, Luís; Sousa, Ercília
1
2017
Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
1
2009
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
1
2009
Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040
Espírito Santo, José; Pinto, Luís
1
2003
Proof search in constructive logics. Zbl 0939.03062
Dyckhoff, Roy; Pinto, Luís
1
1999
Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198
Pinto, Luis; Dyckhoff, Roy
1
1998
Numerical solution of a time-space fractional Fokker Planck equation with variable force field and diffusion. Zbl 07261186
Pinto, Luís; Sousa, Ercília
1
2017
Monadic translation of intuitionistic sequent calculus. Zbl 1246.03027
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
1
2009
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1168.03008
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
1
2009
Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Zbl 1167.03012
Espírito Santo, José; Matthes, Ralph; Pinto, Luís
2
2007
Permutative conversions in intuitionistic multiary sequent calculi with cuts. Zbl 1041.03040
Espírito Santo, José; Pinto, Luís
1
2003
Permutability of proofs in intuitionistic sequent calculi. Zbl 0913.68110
Dyckhoff, Roy; Pinto, Luís
7
1999
Proof search in constructive logics. Zbl 0939.03062
Dyckhoff, Roy; Pinto, Luís
1
1999
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic. Zbl 0954.03062
Dyckhoff, Roy; Pinto, Luis
9
1998
Sequent calculi for the normal terms of the \(\lambda\Pi\) and \(\lambda\Pi\Sigma\) calculi. Zbl 0917.68198
Pinto, Luis; Dyckhoff, Roy
1
1998
Loop-free construction of counter-models for intuitionistic propositional logic. Zbl 0848.03002
Pinto, Luis; Dyckhoff, Roy
8
1995

Citations by Year