Portal de Periódicos da CAPES

Artigo Acesso aberto Produção Nacional Revisado por pares

BIBTEX RIS

Uniqueness of axiomatic extensions of cut-free classical propositional logic

2016; Oxford University Press; Volume: 24; Issue: 5 Linguagem: Inglês

10.1093/jigpal/jzw032

1368-9894

Mario Piazza, Gabriele Pulcini,

Logic, programming, and type systems

Journal Article Uniqueness of axiomatic extensions of cut-free classical propositional logic Get access Mario Piazza, Mario Piazza Department of Philosophical, Pedagogical and Economic-Quantitative Sciences, University of Chieti-Pescara, Via dei Vestini 31, I-66013 Chieti Scalo, Italy Search for other works by this author on: Oxford Academic Google Scholar Gabriele Pulcini Gabriele Pulcini * Centre for Logic, Epistemology and History of Science, State University of Campinas, R. Sérgio Buarque de Holanda, 251 - Cidade Universitária, Campinas - SP, 13083-859, Brazil. *E-mail: gab.pulcini@cle.unicamp.br Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 24, Issue 5, October 2016, Pages 708–718, https://doi.org/10.1093/jigpal/jzw032 Published: 19 June 2016 Article history Received: 23 October 2015 Published: 19 June 2016