Preservation by fibring of the finite model property

著录项

• 来源
  《Journal of logic and computation》 |2011年第2期|p.375-402|共28页
• 作者

  M. E. CONIGLIO; A. SERNADAS; C. SERNADAS;

  展开▼
• 作者单位

  Department of Philosophy and CLE, State University of Campinas, Brazil;

  Department Mathematics, Institute) Superior Tecnico, TU Lisbon, SQIG, Instituto de Telecomunicaqoes, Portugal;

  Department Mathematics, Institute) Superior Tecnico, TU Lisbon, SQIG, Instituto de Telecomunicaqoes, Portugal;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  combined logics; fibring; linite model property; preservation.;

  机译：组合逻辑;纤维亚麻石模型特性保存。;