We observe that Henkin's argument for the completeness theorem yields also a classical semantic proof of Glivenko's theorem and leads in a straightforward way to the weakest intermediate logic for which that theorem still holds. Some refinements of the completeness theorem can also be obtained.
Henkin's Completeness Proof and Glivenko's Theorem
PARLAMENTO, Franco
2014-01-01
Abstract
We observe that Henkin's argument for the completeness theorem yields also a classical semantic proof of Glivenko's theorem and leads in a straightforward way to the weakest intermediate logic for which that theorem still holds. Some refinements of the completeness theorem can also be obtained.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
