Portal de Periódicos da CAPES

Artigo Produção Nacional Revisado por pares

BIBTEX RIS

Finitely many-valued logics and natural deduction

2013; Oxford University Press; Volume: 22; Issue: 2 Linguagem: Inglês

10.1093/jigpal/jzt032

1368-9894

Cecília Englander, Edward Hermann Hæusler, Luiz Carlos Pereira,

Advanced Algebra and Logic

Journal Article Finitely many-valued logics and natural deduction Get access Cecilia Englander, Cecilia Englander * Departamento de Informática, PUC-Rio, Rua Marquês de São Vicente, 225, 22451-900 Gávea, Rio de Janeiro, Brazil *E-mail: cenglander@inf.puc-rio.br Search for other works by this author on: Oxford Academic Google Scholar Edward Hermann Haeusler, Edward Hermann Haeusler Departamento de Informática, PUC-Rio, Rua Marquês de São Vicente, 225, 22451-900 Gávea, Rio de Janeiro, Brazil Search for other works by this author on: Oxford Academic Google Scholar Luiz Carlos Pereira Luiz Carlos Pereira Departamento de Filosofia, PUC-Rio, Rua Marquês de São Vicente, 225, 22451-900 Gávea, Rio de Janeiro, Brazil Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 22, Issue 2, April 2014, Pages 333–354, https://doi.org/10.1093/jigpal/jzt032 Published: 06 August 2013 Article history Received: 25 March 2013 Published: 06 August 2013