Voltar
Artigo Acesso aberto Produção Nacional Revisado por pares
BIBTEX RIS

A Graph-theoretic Account of Logics

2009; Oxford University Press; Volume: 19; Issue: 6 Linguagem: Inglês

10.1093/logcom/exp023

ISSN

1465-363X

Autores

Amı́lcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio,

Tópico(s)

Logic, programming, and type systems

Resumo

Journal Article A Graph-theoretic Account of Logics Get access Amilcar Sernadas, Amilcar Sernadas Department of Mathematics, Instituto Superior Técnico, TU Lisbon and SQIG, Instituto de Telecomunicações, Lisbon, Portugal.E-mail: acs@math.ist.utl.pt; css@math.ist.utl.pt; jfr@math.ist.utl.pt Search for other works by this author on: Oxford Academic Google Scholar Cristina Sernadas, Cristina Sernadas Department of Mathematics, Instituto Superior Técnico, TU Lisbon and SQIG, Instituto de Telecomunicações, Lisbon, Portugal.E-mail: acs@math.ist.utl.pt; css@math.ist.utl.pt; jfr@math.ist.utl.pt Search for other works by this author on: Oxford Academic Google Scholar Joao Rasga, Joao Rasga Department of Mathematics, Instituto Superior Técnico, TU Lisbon and SQIG, Instituto de Telecomunicações, Lisbon, Portugal.E-mail: acs@math.ist.utl.pt; css@math.ist.utl.pt; jfr@math.ist.utl.pt Search for other works by this author on: Oxford Academic Google Scholar Marcelo Coniglio Marcelo Coniglio Department of Philosophy and CLE, State University of Campinas, Brazil. E-mail: coniglio@cle.unicamp.br Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 19, Issue 6, December 2009, Pages 1281–1320, https://doi.org/10.1093/logcom/exp023 Published: 22 April 2009 Article history Received: 29 July 2008 Published: 22 April 2009

Referência(s)