Introduction: Interpolations—Essays in honor of William Craig.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 313, doi. 10.1007/s11229-008-9350-6
- By:
- Publication type:
- Article
Works matching IS 00397857 AND DT 2008 AND VI 164 AND IP 3
Results: 10
1
2
Elimination problems in logic: a brief history.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 321, doi. 10.1007/s11229-008-9352-4
- By:
- Publication type:
- Article
3
Wissenschaftslogik : The role of logic in the philosophy of science.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 385, doi. 10.1007/s11229-008-9356-0
- By:
- Publication type:
- Article
4
Some remarks on the bearing of model theory on the theory of theories.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 359, doi. 10.1007/s11229-008-9355-1
- By:
- Publication type:
- Article
5
Harmonious logic: Craig’s interpolation theorem and its descendants.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 341, doi. 10.1007/s11229-008-9354-2
- By:
- Publication type:
- Article
6
The many faces of interpolation.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 451, doi. 10.1007/s11229-008-9351-5
- By:
- Publication type:
- Article
7
Interpolation in computing science: the semantics of modularization.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 437, doi. 10.1007/s11229-008-9358-y
- By:
- Publication type:
- Article
8
Interpolation in non-classical logics.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 421, doi. 10.1007/s11229-008-9359-x
- By:
- Publication type:
- Article
9
The Craig Interpolation Theorem in abstract model theory.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 401, doi. 10.1007/s11229-008-9357-z
- Publication type:
- Article
10
The road to two theorems of logic.
- Published in:
- Synthese, 2008, v. 164, n. 3, p. 333, doi. 10.1007/s11229-008-9353-3
- By:
- Publication type:
- Article