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
PIAZZA, Mario;
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 aperto
Tipologia:
Published version
Licenza:
Non specificata
Dimensione
548.69 kB
Formato
Adobe PDF
|
548.69 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
