The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems Cn from Gupta and Belnap [3]. Systems Cn were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems GCn admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent
Analytic Calculi for Circular Concepts by Finite Revision / Bruni, Riccardo. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 101:(2013), pp. 915-932. [10.1007/s11225-012-9402-2]
Analytic Calculi for Circular Concepts by Finite Revision
BRUNI, RICCARDO
2013
Abstract
The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems Cn from Gupta and Belnap [3]. Systems Cn were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems GCn admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent
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.
