Results 311 to 320 of about 7,429,852 (332)
Some of the next articles are maybe not open access.
Categorical proof theory of classical propositional calculus
Theoretical Computer Science, 2006Gianluigi Bellin +2 more
exaly
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
Journal of Symbolic Logic (JSL), 1957W. Craig
semanticscholar +1 more source
Studia Logica: An International Journal for Symbolic Logic, 2009
Greg Restall
semanticscholar +1 more source
Greg Restall
semanticscholar +1 more source
Why does the proof-theory of hybrid logic work so well?
Journal of Applied Non-Classical Logics, 2007Torben Brauner
exaly
An elementary proof for a compact imbedding result in generalized electromagnetic theory
Mathematische Zeitschrift, 1984exaly
Mathematical Proof Theory in the Light of Ordinal Analysis
SynthÈse, 2002Reinhard Kahle, Kahle Reinhard
exaly