Refutation systems are systems of formal, syntactic derivations, designed to derive the non-valid formulas or logical consequences of a given logic. Here we provide an overview with comprehensive references on the historical development of the theory of refutation systems and discuss some of their applications to philosophical logics.
Goranko, V., Pulcini, G., Skura, T. (2020). Refutation Systems : An Overview and Some Applications to Philosophical Logics. In Knowledge, Proof and Dynamics (pp. 173-197). Springer [10.1007/978-981-15-2221-5_9].
Refutation Systems : An Overview and Some Applications to Philosophical Logics
Pulcini, Gabriele;
2020-01-01
Abstract
Refutation systems are systems of formal, syntactic derivations, designed to derive the non-valid formulas or logical consequences of a given logic. Here we provide an overview with comprehensive references on the historical development of the theory of refutation systems and discuss some of their applications to philosophical logics.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Refutation systems - an overview and some applications to philosophical logics - 2019-08-28_final.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Non specificato
Dimensione
491.97 kB
Formato
Adobe PDF
|
491.97 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.