Combinações de Lógicas Modais Não-normais (2004)
- Authors:
- Autor USP: FAJARDO, ROGERIO AUGUSTO DOS SANTOS - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/D.45.2004.tde-13122007-203348
- Assunto: LÓGICA MATEMÁTICA
- Agências de fomento:
- Language: Português
- Abstract: Neste trabalho estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.
- Imprenta:
- Data da defesa: 13.08.2004
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
FAJARDO, Rogério Augusto dos Santos. Combinações de Lógicas Modais Não-normais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/. Acesso em: 11 abr. 2026. -
APA
Fajardo, R. A. dos S. (2004). Combinações de Lógicas Modais Não-normais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/ -
NLM
Fajardo RA dos S. Combinações de Lógicas Modais Não-normais [Internet]. 2004 ;[citado 2026 abr. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/ -
Vancouver
Fajardo RA dos S. Combinações de Lógicas Modais Não-normais [Internet]. 2004 ;[citado 2026 abr. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/ - Lógica matemática
- An indecomposable Banach space of continuous functions which has small density
- A teoria dos conjuntos e os fundamentos da matemática
- Lógica e teoria dos conjuntos e a epistemologia da Matemática: minicurso introdutório
- Quotients of indecomposable Banach spaces of continuous functions
- Construções consistentes de espaços de Banach C(K) com poucos operadores
- Book of abstracts do XXI Brazilian Logic Conference - EBL 2025
- Nonstandard formulae and model-theoretic paradoxes
- A construction via forcing of a hereditarily weakly koszmider space
- Non homeomorphic hereditarily weakly Koszmider spaces
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
