Data di Pubblicazione:
2015
Citazione:
How to go non- monotonic through context-sensitiveness / M. D’Agostino, M. Piazza, G. Pulcini. - In: LOGIC AND PHILOSOPHY OF SCIENCE. - ISSN 1826-1043. - 13:1(2015), pp. 3-27.
Abstract:
In this paper we review some ways of producing non-monotonic logics by considering context-sensitive inferences. These approaches are all based on the notion of control set, a piece of logical machinery recently introduced in [3] and further developed in [7, 4, 14]. A control set informally refers to a set of contexts S which are supposed to prohibit the implementation of specific inferences in a proof system.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
non-monotonic logic; proof theory; control sets; cut-elimination
Elenco autori:
M. D’Agostino, M. Piazza, G. Pulcini
Link alla scheda completa: