Sterkte (wiskundige logica)

De relatieve sterkte van twee systemen van formele logica kan worden gedefinieerd door middel van de modeltheorie. Specifiek zegt men van een logica $\alpha$ dat deze sterker is dan een logica $\beta$ wanneer elke elementaire klasse in $\alpha$ een elementaire klasse in $\beta$ is.[1]

Zie ook

Bronnen, noten en/of referenties

(en) Heinz-Dieter Ebbinghaus, Extended logics: the general framework, in K.J. Barwise en S. Feferman, editors, Model-theoretic logics, 1985 ISBN 0387909362, blz. 43

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.