The method of fibring for combining logics includes some other methods as fusion as a special case. Albeit fusion is the best developed mechanism, mainly in what concerns preservation of properties as soundness, weak completeness, semantic Craig interpolation and decidability, fibring in general raises some difficulties at the semantic level. In this paper we outline here some results on preservation of interpolation in the context of propositional-based logics endowed with a Hilbert calculus coping with global and local derivability consequences.

Preservation of Interpolation by Fibring

ZANARDO, ALBERTO
2004

Abstract

The method of fibring for combining logics includes some other methods as fusion as a special case. Albeit fusion is the best developed mechanism, mainly in what concerns preservation of properties as soundness, weak completeness, semantic Craig interpolation and decidability, fibring in general raises some difficulties at the semantic level. In this paper we outline here some results on preservation of interpolation in the context of propositional-based logics endowed with a Hilbert calculus coping with global and local derivability consequences.
2004
9789729928901
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/1428981
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact