Cut Elimination inside a Deep Inference System for Classical Predicate Logic.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 51, doi. 10.1007/s11225-006-6605-4
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2006 AND VI 82 AND IP 1
Results: 9
1
2
Towards a Semantic Characterization of Cut-Elimination.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 95, doi. 10.1007/s11225-006-6607-2
- By:
- Publication type:
- Article
3
Cut-Elimination and Quantification in Canonical Systems.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 157, doi. 10.1007/s11225-006-6611-6
- By:
- Publication type:
- Article
4
Group Cancellation and Resolution.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 73, doi. 10.1007/s11225-006-6606-3
- By:
- Publication type:
- Article
5
From the Editor.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 3, doi. 10.1007/s11225-006-6602-7
- Publication type:
- Article
6
Cut Elimination for S4C: A Case Study.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 121, doi. 10.1007/s11225-006-6608-1
- By:
- Publication type:
- Article
7
Gentzen Calculi for the Existence Predicate.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 7, doi. 10.1007/s11225-006-6603-6
- By:
- Publication type:
- Article
8
The Epsilon Calculus and Herbrand Complexity.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 133, doi. 10.1007/s11225-006-6610-7
- By:
- Publication type:
- Article
9
Program Extraction from Normalization Proofs.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 25, doi. 10.1007/s11225-006-6604-5
- By:
- Publication type:
- Article