Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T

2003 ◽  
Vol 42 (1) ◽  
pp. 59-87 ◽  
Author(s):  
Felix Joachimski ◽  
Ralph Matthes
Keyword(s):  
Gödel’S T

Characterizing the elementary recursive functions by a fragment of Gödel's T

2000 ◽  
Vol 39 (7) ◽  
pp. 475-491 ◽  
Author(s):  
Arnold Beckmann ◽  
Andreas Weiermann
Keyword(s):  
Recursive Functions ◽  
Gödel’S T

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm

2011 ◽  
Vol 169 (1) ◽  
pp. 65-90 ◽  
Author(s):  
Aleksandar Perović ◽  
Zoran Ognjanović ◽  
Miodrag Rašković ◽  
Dragan Radojević
Keyword(s):  
Probability Measures ◽  
Finitely Additive Probability ◽  
Additive Probability ◽  
Gödel’S T

Analyzing Gödel's T Via Expanded Head Reduction Trees

2000 ◽  
Vol 46 (4) ◽  
pp. 517-536 ◽  
Author(s):  
Arnold Beckmann ◽  
Andreas Weiermann
Keyword(s):  
Gödel’S T
Sign in / Sign up

Export Citation Format

Share Document