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
- 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
-
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: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/. Acesso em: 23 fev. 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 http://www.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 fev. 23 ] Available from: http://www.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 fev. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/ - Construções consistentes de espaços de Banach C(K) com poucos operadores
- 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
- Quotients of indecomposable Banach spaces of continuous functions
- Nonstandard formulae and model-theoretic paradoxes
- Book of abstracts do XXI Brazilian Logic Conference - EBL 2025
- Lógica e teoria dos conjuntos e a epistemologia da Matemática: minicurso introdutório
- A construction via forcing of a hereditarily weakly koszmider space
- How not to combine modal logics
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
