Results 301 to 310 of about 7,429,852 (332)

An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

, 2014
D. Prawitz
semanticscholar   +1 more source

Applying Tree Languages in Proof Theory

Language and Automata Theory and Applications, 2012
Stefan Hetzl
semanticscholar   +1 more source

On the idea of a general proof theory

SynthÈse, 1974
Dag Prawitz, Prawitz Dag
exaly  

Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization

Studia Logica: An International Journal for Symbolic Logic, 2012
R. Takemura
semanticscholar   +1 more source

A Proof Theory for Description Logics

SpringerBriefs in Computer Science, 2012
Alexandre Rademaker
semanticscholar   +1 more source

Proofs and proof theory

2014
openaire   +1 more source

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  

Proof Theory for Modal Logic

, 2011
Sara Negri
semanticscholar   +1 more source