Results 291 to 300 of about 13,404,605 (326)

Proof Theory of the Cut Rule

, 2018
J. B. Cockett, R. A. G. Seely
semanticscholar   +1 more source

Proof Theory and Theory of Meaning

1980
A conjecture about intensional equality of purely logical proofs was formulated by Prawitz [1971, II.3.5.6]. It may be stated as follows, for derivations generated by purely logical rules satisfying the normalization property and uniqueness of normal form of derivations, such as those of classical or intuitionistic logic as formulated in Prawitz [1971,
openaire   +1 more source

Ordinal Analysis with an Introduction to Proof Theory

Logic in Asia: Studia Logica Library, 2020
Toshiyasu Arai
exaly  

A logical framework combining model and proof theory

Mathematical Structures in Computer Science, 2013
Florian Rabe
semanticscholar   +1 more source

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

On the idea of a general proof theory

SynthÈse, 1974
Dag Prawitz
exaly  

Applying Tree Languages in Proof Theory

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

A Proof Theory for Description Logics

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

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

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

Proofs and proof theory

2014
openaire   +1 more source