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.
1981
263
231
242
D. MUNDICI
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/3672
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact