On meet-combination of logics
2011; Oxford University Press; Volume: 22; Issue: 6 Linguagem: Inglês
10.1093/logcom/exr035
ISSN1465-363X
AutoresAmı́lcar Sernadas, Cristina Sernadas, João Rasga,
Tópico(s)Logic, programming, and type systems
ResumoJournal Article On meet-combination of logics Get access A. Sernadas, A. Sernadas Departamento de Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal and SQIG, Instituto de Telecomunicações, Lisboa, 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 C. Sernadas, C. Sernadas Departamento de Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal and SQIG, Instituto de Telecomunicações, Lisboa, 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 J. Rasga J. Rasga Departamento de Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal and SQIG, Instituto de Telecomunicações, Lisboa, 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 Journal of Logic and Computation, Volume 22, Issue 6, December 2012, Pages 1453–1470, https://doi.org/10.1093/logcom/exr035 Published: 07 October 2011 Article history Received: 18 May 2011 Published: 07 October 2011
Referência(s)