Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Preservation by fibring of the finite model property

Texto completo
Autor(es):
Coniglio, M. E. [1, 2] ; Sernadas, A. [3] ; Sernadas, C. [3]
Número total de Autores: 3
Afiliação do(s) autor(es):
[1] Univ Estadual Campinas, Dept Philosophy, Campinas - Brazil
[2] Univ Estadual Campinas, CLE, Campinas - Brazil
[3] Univ Tecn Lisboa, Dept Math, Inst Super Tecn, SQIG, Inst Telecomunicacoes, Lisbon - Portugal
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: JOURNAL OF LOGIC AND COMPUTATION; v. 21, n. 2, p. 375-402, APR 2011.
Citações Web of Science: 3
Resumo

Capitalizing on the graph-theoretic account of fibring proposed in Sernadas et al.(2009, J. Log. Comput., 19, 1321-1357), we show that fibring preserves the finite model property under mild conditions. Illustrations are provided for modal, deontic, paraconsistent and linear logics. (AU)

Processo FAPESP: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático