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.
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.
How to go non- monotonic through context-sensitiveness
M. D’Agostino;
2015
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
L&PS_Vol13No1_2015_DAgostino.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
548.69 kB
Formato
Adobe PDF
|
548.69 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.