Fundamentos da lógica anotada (1992)
- Authors:
- Autor USP: ABE, JAIR MINORO - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- DOI: 10.11606/T.8.1992.tde-16112022-132839
- Subjects: FILOSOFIA; FILOSOFIA DA CIÊNCIA; LÓGICA
- Language: Português
- Abstract: As logicas anotadas sao uma classe de logicas nao-classicas introduzidas por v.S. Subrahmanian (subrahmanian, v.S.), On the semantics of quantitative logic programs, proc. 4th ieee symposium on logic programming, computer society press, washington dc, 1987, 173-182. Devido a significantes aplicacoes obtidas na teoria da computacao e na inteligencia artificial, tornou-se conveniente um estudo detalhado de seus fundamentos. Um primeiro trabalho nesse sentido e da costa, nca, vs subrahmanian & cva ca, (the paraconsistent logics pi, zeitschrift fur math logik und grund der math 37, 1991, 137-148). Nesta tese damos seguimento ao estudo dos fundamentos da logica anotada qi, investigamos sua semantica e demonstramos um teorema de completude. Pesquisamos a teoria anotada de modelos e mostramos que versoes da maioria dos resultados basicos da teoria classica de modelos sao validas para os sistemas qi. Os sistemas anotados englobam a teoria dos conjuntos difusos (fuzzy sets), o que nos conduz a uma outra aplicacao fundamental destas logicas; os resultados relevantes foram publicados em da costa nca, j abel & vs subrahmanian, remarks on annotated logics', a aparecer em zeitsghrift fur math. Logik und grund der math. 1991, vol. 37
- Imprenta:
- Data da defesa: 06.05.1992
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
ABE, Jair Minoro. Fundamentos da lógica anotada. 1992. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1992. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-16112022-132839/. Acesso em: 05 mar. 2026. -
APA
Abe, J. M. (1992). Fundamentos da lógica anotada (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-16112022-132839/ -
NLM
Abe JM. Fundamentos da lógica anotada [Internet]. 1992 ;[citado 2026 mar. 05 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-16112022-132839/ -
Vancouver
Abe JM. Fundamentos da lógica anotada [Internet]. 1992 ;[citado 2026 mar. 05 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-16112022-132839/ - Redes neurais artificiais paraconsistentes e análise de distúrbio de aprendizagem
- Fundamentos da geometria ordenada
- As duas vertentes: significante e objeto
- Para-analyzer and its applications
- Decision making based on paraconsistent annotated logic
- Paraconsistent annotated logic viability analysis: an approach to product launching
Informações sobre o DOI: 10.11606/T.8.1992.tde-16112022-132839 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
