We generalize a well-known Smullyan's result, by showing that any two sets of the kind Ca = {x/⊢ x↔a} and Cb = {x/⊢ x↔b} are effectively inseparable (if I {apl functional symbol slash bar} ↔b). Then we investigate logical and recursive consequences of this fact (see Introduction). © 1981 Kluwer Academic Publishers.
On the relation provable equivalence and on partitions in effectively inseparable sets / Bernardi, Claudio. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 40:1(1981), pp. 29-37. [10.1007/bf01837553]
On the relation provable equivalence and on partitions in effectively inseparable sets
BERNARDI, Claudio
1981
Abstract
We generalize a well-known Smullyan's result, by showing that any two sets of the kind Ca = {x/⊢ x↔a} and Cb = {x/⊢ x↔b} are effectively inseparable (if I {apl functional symbol slash bar} ↔b). Then we investigate logical and recursive consequences of this fact (see Introduction). © 1981 Kluwer Academic Publishers.File allegati a 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.
