Using the language of diagonalizable algebras, it is proved that every formula in provability logic admits a unique fixed-point.
An effective fixed-point theorem in intuitionistic diagonalizable algebras
SAMBIN, GIOVANNI
1976
Abstract
Using the language of diagonalizable algebras, it is proved that every formula in provability logic admits a unique fixed-point.
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.
