• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Doctoral Thesis
DOI
https://doi.org/10.11606/T.8.1992.tde-16112022-132839
Document
Author
Full name
Jair Minoro Abe
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 1992
Supervisor
Committee
Costa, Newton Carneiro Affonso da (President)
Abud, Zara Issa
Baeta Segundo, José Augusto
Dias, Francisco de Oliveira
Krause, Décio
 
Title in Portuguese
Fundamentos da lógica anotada
Keywords in Portuguese
Fundamentos da programação não-clássica
Lógica paraconsistente
Lógicas anotadas
Abstract in Portuguese
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
 
Title in English
On the foundations of annotated logics
Keywords in English
Annotated logics
Foundations of non-classical programming
Paraconsistent logics
Abstract in English
Annotated logics are a class of non-classical logics introduced by V. S. Subrahmanian CSUBRAHMANIAN. V. S . On the Semantics o/ Quantitatiue Losic Prosram.s, Proc. 4.th IEEE Symposium on Logic Programming, Washington DC, 1987. 173-182). applications obtained in Computer Computer Science Press, Due Science to and significant Artificial Intelligence, it is convenient to study in detail their foundations. A first work in this sense is DA COSTA, N.C.A., V.S. SUBRAHMANIAN & C. VAGO, The paraconsistent logics PT', Zei tschrif t /ür Hath. Losi.1'. und Grund. der Hath. 37, 1991, 137-138. This thesis is a seque! to the study of the foundations of annotated logics Qr; we investigate their semantics and prove a çompleteness theorem. studying the annotated model theory and showing that practically all the main basic results in classical model theory can be reproduced in these systems. The annotated systems encompass the theory of fuzzy sets, conducting us to another fundamental application of these logics·; the relevant results were published in DA COSTA, N. C. A., J. M. ASE & V. S. SUBRAHMANIAN, Remarks on annotated logic', to appear in Zeitschrift fü.r Hath. LoeiJtt und Grund. der Hath. , 1991, vol . 37
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
1992_JairMinoroAbe.pdf (28.46 Mbytes)
Publishing Date
2022-11-16
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors.
CeTI-SC/STI
© 2001-2024. Digital Library of Theses and Dissertations of USP.