In a soft model-theoretical context, we investigate the properties of logics satisfying the Robinson consistency theorem; the latter is for many purposes the same as the Craig interpolation theorem together with compactness. Applications are given to H. Friedman’s third and fourth problem.
ROBINSON'S CONSISTENCY THEOREM IN SOFT MODEL THEORY / D. MUNDICI. - In: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. - ISSN 0002-9947. - STAMPA. - 263:(1981), pp. 231-242. [10.1090/S0002-9947-1981-0590421-1]
ROBINSON'S CONSISTENCY THEOREM IN SOFT MODEL THEORY
MUNDICI, DANIELE
1981
Abstract
In a soft model-theoretical context, we investigate the properties of logics satisfying the Robinson consistency theorem; the latter is for many purposes the same as the Craig interpolation theorem together with compactness. Applications are given to H. Friedman’s third and fourth problem.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
