We give the first predicative proof of completeness of intuitionistic and other logics.
Pretopologies and completeness proofs
SAMBIN, GIOVANNI
1995
Abstract
We give the first predicative proof of completeness of intuitionistic and other logics.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
