dc.creatorPiazza
dc.creatorMario; Pulcini
dc.creatorGabriele
dc.date2017
dc.datefev
dc.date2017-11-13T13:12:10Z
dc.date2017-11-13T13:12:10Z
dc.date.accessioned2018-03-29T05:50:26Z
dc.date.available2018-03-29T05:50:26Z
dc.identifierJournal Of Logic And Computation. Oxford Univ Press, v. 27, p. 21 - 40, 2017.
dc.identifier0955-792X
dc.identifier1465-363X
dc.identifierWOS:000397037900002
dc.identifier10.1093/logcom/exv051
dc.identifierhttps://academic.oup.com/logcom/article-lookup/doi/10.1093/logcom/exv051
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/326822
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1363847
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.descriptionThe goal of this article is to design a uniform proof-theoretical framework encompassing classical, non-monotonic and paraconsistent logic. This framework is obtained by the control sets logical device, a syntactical apparatus for controlling derivations. Abasic feature of control sets is that of leaving the underlying syntax of a proof system unchanged, while affecting the very combinatorial structure of sequents and proofs. We prove the cut-elimination theorem for a version of controlled propositional classical logic, i. e. the sequent calculus for classical propositional logic to which a suitable system of control sets is applied. Finally, we outline the skeleton of a new (positive) account of non- monotonicity and paraconsistency in terms of concurrent processes.
dc.description27
dc.description1
dc.description21
dc.description40
dc.descriptionFAPESP Post-Doc Grant, Sao Paulo State, Brazil [2013/22371-0]
dc.descriptionFundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
dc.languageEnglish
dc.publisherOxford Univ Press
dc.publisherOxford
dc.relationJournal of Logic and Computation
dc.rightsfechado
dc.sourceWOS
dc.subjectProof-theory
dc.subjectCut-elimination
dc.subjectContext-sensitiveness
dc.subjectClassical Logic
dc.subjectNon-monotonicity
dc.subjectParaconsistency
dc.titleUnifying Logics Via Context-sensitiveness
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución