Results 201 to 210 of about 150,676 (217)

General Proof Theory: Introduction

Studia Logica, 2018
Peter Schroeder-Heister, Thomas Piecha
exaly  

EXPERIMENTAL PROOF OF THE MOSQUITO-MALARIA THEORY.

Lancet, The, 1900
Patrick Manson
exaly  

Reciprocal Influences Between Proof Theory and Logic Programming

Philosophy and Technology, 2019
Dale Miller, Miller Dale
exaly  

Explaining Gentzen's consistency proof within infinitary proof theory

Lecture Notes in Computer Science, 2005
Wilfried Buchholz
exaly  

On the Proof-theoretic Foundation of General Definition Theory

SynthÈse, 2006
Lars Hallnäs
exaly  

Categorical proof theory of classical propositional calculus

Theoretical Computer Science, 2006
Edmund Robinson, Martin Hyland
exaly  

Why does the proof-theory of hybrid logic work so well?

Journal of Applied Non-Classical Logics, 2007
Torben Brauner
exaly  

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

Mathematische Zeitschrift, 1984
exaly  

Mathematical Proof Theory in the Light of Ordinal Analysis

SynthÈse, 2002
Reinhard Kahle, Kahle Reinhard
exaly  

Proof theory for admissible rules

Annals of Pure and Applied Logic, 2009
George Metcalfe
exaly