Repository | Zeitschrift | Band
Synthese
Essays in honor of William Craig
Band 164 (3)
Details | Inhaltsverzeichnis
Introduction
interpolations—essays in honor of William Craig
pp.313-319
https://doi.org/10.1007/s11229-008-9350-6
Elimination problems in logic
a brief history
pp.321-332
https://doi.org/10.1007/s11229-008-9352-4
Harmonious logic
Craig's interpolation theorem and its descendants
pp.341-357
https://doi.org/10.1007/s11229-008-9354-2
Some remarks on the bearing of model theory on the theory of theories
pp.359-383
https://doi.org/10.1007/s11229-008-9355-1
Wissenschaftslogik
the role of logic in the philosophy of science
pp.385-400
https://doi.org/10.1007/s11229-008-9356-0
The Craig interpolation theorem in abstract model theory
pp.401-420
https://doi.org/10.1007/s11229-008-9357-z
Interpolation in computing science
the semantics of modularization
pp.437-450
https://doi.org/10.1007/s11229-008-9358-yPublication details
Zeitschrift: Synthese
Band: 164
Issue: 3
Year: 2008
Referenz:
(2008) Essays in honor of William Craig. Synthese 164 (3).