Results 301 to 310 of about 13,404,605 (326)

Proof Theory

2010
Poggiolesi, Francesca, Russo, F., Williamson, Jon   +2 more
openaire   +3 more sources

Proof theory and set theory

SynthÈse, 1985
Gaisi Takeuti
exaly  

On the Proof-theoretic Foundation of General Definition Theory

SynthÈse, 2006
Lars Hallnäs
exaly  

Proof Theory for Modal Logic

, 2011
Sara Negri
semanticscholar   +1 more source

Categorical proof theory of classical propositional calculus

Theoretical Computer Science, 2006
Edmund Robinson, Martin Hyland, Gianluigi Bellin   +2 more
exaly  

Combinators, λ-Terms and Proof Theory

, 2011
Sören Stenlund
semanticscholar   +1 more source

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Journal of Symbolic Logic (JSL), 1957
W. Craig
semanticscholar   +1 more source

Ideas and Results in Proof Theory

, 1971
D. Prawitz
semanticscholar   +1 more source

Hybrid Logic and its Proof-Theory

, 2010
T. Braüner
semanticscholar   +1 more source

An elementary proof for a compact imbedding result in generalized electromagnetic theory

Mathematische Zeitschrift, 1984
exaly